198         // Safe because we know that our file is a KVM fd and that the extension is one of the ones  in check_extension_int()
211         // Safe because we know that our file is a KVM fd and we verify the return result.  in get_vcpu_mmap_size()
297         // Safe because we know self is a real kvm fd  in get_vm_type()
380         // Safe because we know kvm is a real kvm fd as this module is the only one that can make  in new()
421         // Safe because we know that our file is a KVM fd and that the extension is one of the ones  in check_extension()
463         // know that the pointer and size are correct because the MemoryMapping interface ensures  in add_memory_region()
551         // Safe because we know that our file is a VM fd and we verify the return result.  in set_identity_map_addr()
568         // Safe because we know that our file is a VM fd, we know the kernel will only write  in get_clock()
584         // Safe because we know that our file is a VM fd, we know the kernel will only read  in set_clock()
600         // Safe because we know that our file is a VM fd and we verify the return result.  in create_irq_chip()
619         // Safe because we know our file is a VM fd, we know the kernel will only write  in get_pic_state()
625                 // Safe as we know that we are retrieving data related to the  in get_pic_state()
645         // Safe because we know that our file is a VM fd, we know the kernel will only read  in set_pic_state()
666             // Safe because we know our file is a VM fd, we know the kernel will only write  in get_ioapic_state()
674                 // Safe as we know that we are retrieving data related to the  in get_ioapic_state()
698         // Safe because we know that our file is a VM fd, we know the kernel will only read  in set_ioapic_state()
716         // Safe because we know that our file is a VM fd, we know the kernel will only read the  in set_irq_line()
733         // Safe because we know that our file is a VM fd, we know the kernel will only read the  in create_pit()
751         // Safe because we know that our file is a VM fd, we know the kernel will only write  in get_pit_state()
767         // Safe because we know that our file is a VM fd, we know the kernel will only read  in set_pit_state()
855         // Safe because we know that our file is a VM fd, we know the kernel will only read the  in ioeventfd()
882         // Safe because we know that our file is a VM fd, we know the kernel will only read the  in register_irqfd_resample()
906         // Safe because we know that our file is a VM fd, we know the kernel will only read the  in unregister_irqfd()
963         // Safe because we allocated the struct and we know the kernel will read exactly the size of  in kvm_enable_cap()
1078         // Safe because we know that vm a VM fd and we verify the return result.  in new()
1139         // Safe because we know we mapped enough memory to hold the kvm_run struct because the  in set_data()
1208         // Safe because we know we mapped enough memory to hold the kvm_run struct because the  in set_immediate_exit()
1234         // Safe because we know that our file is a VCPU fd, we know the kernel will only read the  in get_regs()
1247         // Safe because we know that our file is a VCPU fd, we know the kernel will only read the  in set_regs()
1262         // Safe because we know that our file is a VCPU fd, we know the kernel will only write the  in get_sregs()
1275         // Safe because we know that our file is a VCPU fd, we know the kernel will only read the  in set_sregs()
1291         // Safe because we know that our file is a VCPU fd, we know the kernel will only write the  in get_fpu()
1321         // Safe because we know that our file is a VCPU fd, we know the kernel will only write the  in get_debugregs()
1350         // Safe because we know that our file is a VCPU fd, we know the kernel will only write the  in get_xcrs()
1511         // Safe because we know that our file is a VCPU fd, we know the kernel will only  in get_mp_state()
1548         // Safe because we know that our file is a VCPU fd, we know the kernel  in get_vcpu_events()
1582         // Safe because we allocated the struct and we know the kernel will read exactly the size of  in kvm_enable_cap()
1638         // safe because we allocated the struct and we know the kernel will read  in set_one_reg()
1674         // Safe because we know that our file is a VCPU fd and we verify the return result.  in run()
1678             // Safe because we know we mapped enough memory to hold the kvm_run struct because the  in run()
1800                         // Safe because we know the exit reason told us this union  in run()