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()
267         // Safe because we know self is a real kvm fd  in get_vm_type()
350         // Safe because we know kvm is a real kvm fd as this module is the only one that can make  in new()
391         // Safe because we know that our file is a KVM fd and that the extension is one of the ones  in check_extension()
433         // know that the pointer and size are correct because the MemoryMapping interface ensures  in add_memory_region()
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()
554         // Safe because we know that our file is a VM fd, we know the kernel will only read  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()
595                 // Safe as we know that we are retrieving data related to the  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()
636             // Safe because we know our file is a VM fd, we know the kernel will only write  in get_ioapic_state()
644                 // Safe as we know that we are retrieving data related to the  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()
682         // Safe because we know that our file is a VM fd, we know the kernel will only read the  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()
717         // Safe because we know that our file is a VM fd, we know the kernel will only write  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()
821         // Safe because we know that our file is a VM fd, we know the kernel will only read the  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()
872         // Safe because we know that our file is a VM fd, we know the kernel will only read the  in unregister_irqfd()
929         // Safe because we allocated the struct and we know the kernel will read exactly the size of  in kvm_enable_cap()
1044         // Safe because we know that vm a VM fd and we verify the return result.  in new()
1105         // Safe because we know we mapped enough memory to hold the kvm_run struct because the  in set_data()
1174         // Safe because we know we mapped enough memory to hold the kvm_run struct because the  in set_immediate_exit()
1200         // Safe because we know that our file is a VCPU fd, we know the kernel will only read the  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()
1228         // Safe because we know that our file is a VCPU fd, we know the kernel will only write the  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()
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()
1316         // Safe because we know that our file is a VCPU fd, we know the kernel will only write the  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()
1514         // Safe because we know that our file is a VCPU fd, we know the kernel  in get_vcpu_events()
1548         // Safe because we allocated the struct and we know the kernel will read exactly the size of  in kvm_enable_cap()
1604         // safe because we allocated the struct and we know the kernel will read  in set_one_reg()
1640         // Safe because we know that our file is a VCPU fd and we verify the return result.  in run()
1644             // Safe because we know we mapped enough memory to hold the kvm_run struct because the  in run()
1766                         // Safe because we know the exit reason told us this union  in run()