168         // Safe because we know that our file is a KVM fd and that the extension is one of the ones  in check_extension_int()
181         // Safe because we know that our file is a KVM fd and we verify the return result.  in get_vcpu_mmap_size()
391         // Safe because we know that our file is a KVM fd and that the extension is one of the ones  in check_extension()
521         // Safe because we know that our file is a VM fd and we verify the return result.  in set_identity_map_addr()
538         // Safe because we know that our file is a VM fd, we know the kernel will only write  in get_clock()
539         // correct amount of memory to our pointer, and we verify the return result.  in get_clock()
554         // Safe because we know that our file is a VM fd, we know the kernel will only read  in set_clock()
555         // correct amount of memory from our pointer, and we verify the return result.  in set_clock()
570         // Safe because we know that our file is a VM fd and we verify the return result.  in create_irq_chip()
589         // Safe because we know our file is a VM fd, we know the kernel will only write  in get_pic_state()
590         // correct amount of memory to our pointer, and we verify the return result.  in get_pic_state()
615         // Safe because we know that our file is a VM fd, we know the kernel will only read  in set_pic_state()
616         // correct amount of memory from our pointer, and we verify the return result.  in set_pic_state()
636             // Safe because we know our file is a VM fd, we know the kernel will only write  in get_ioapic_state()
637             // correct amount of memory to our pointer, and we verify the return result.  in get_ioapic_state()
664         // Safe because we know that our file is a VM fd, we know the kernel will only read  in set_ioapic_state()
665         // correct amount of memory from our pointer, and we verify the return result.  in set_ioapic_state()
682         // Safe because we know that our file is a VM fd, we know the kernel will only read the  in set_irq_line()
683         // correct amount of memory from our pointer, and we verify the return result.  in set_irq_line()
699         // Safe because we know that our file is a VM fd, we know the kernel will only read the  in create_pit()
700         // correct amount of memory from our pointer, and we verify the return result.  in create_pit()
717         // Safe because we know that our file is a VM fd, we know the kernel will only write  in get_pit_state()
718         // correct amount of memory to our pointer, and we verify the return result.  in get_pit_state()
733         // Safe because we know that our file is a VM fd, we know the kernel will only read  in set_pit_state()
734         // correct amount of memory from our pointer, and we verify the return result.  in set_pit_state()
821         // Safe because we know that our file is a VM fd, we know the kernel will only read the  in ioeventfd()
822         // correct amount of memory from our pointer, and we verify the return result.  in ioeventfd()
848         // Safe because we know that our file is a VM fd, we know the kernel will only read the  in register_irqfd_resample()
849         // correct amount of memory from our pointer, and we verify the return result.  in register_irqfd_resample()
872         // Safe because we know that our file is a VM fd, we know the kernel will only read the  in unregister_irqfd()
873         // correct amount of memory from our pointer, and we verify the return result.  in unregister_irqfd()
1200         // Safe because we know that our file is a VCPU fd, we know the kernel will only read the  in get_regs()
1201         // correct amount of memory from our pointer, and we verify the return result.  in get_regs()
1213         // Safe because we know that our file is a VCPU fd, we know the kernel will only read the  in set_regs()
1214         // correct amount of memory from our pointer, and we verify the return result.  in set_regs()
1228         // Safe because we know that our file is a VCPU fd, we know the kernel will only write the  in get_sregs()
1229         // correct amount of memory to our pointer, and we verify the return result.  in get_sregs()
1241         // Safe because we know that our file is a VCPU fd, we know the kernel will only read the  in set_sregs()
1242         // correct amount of memory from our pointer, and we verify the return result.  in set_sregs()
1254         // correct amount of memory to our pointer, and we verify the return result.  in get_fpu()
1257         // Safe because we know that our file is a VCPU fd, we know the kernel will only write the  in get_fpu()
1287         // Safe because we know that our file is a VCPU fd, we know the kernel will only write the  in get_debugregs()
1288         // correct amount of memory to our pointer, and we verify the return result.  in get_debugregs()
1316         // Safe because we know that our file is a VCPU fd, we know the kernel will only write the  in get_xcrs()
1317         // correct amount of memory to our pointer, and we verify the return result.  in get_xcrs()
1477         // Safe because we know that our file is a VCPU fd, we know the kernel will only  in get_mp_state()
1478         // write correct amount of memory to our pointer, and we verify the return result.  in get_mp_state()
1514         // Safe because we know that our file is a VCPU fd, we know the kernel  in get_vcpu_events()
1515         // will only write correct amount of memory to our pointer, and we  in get_vcpu_events()
1640         // Safe because we know that our file is a VCPU fd and we verify the return result.  in run()