247 …       // Safe because we know that our file is a VM fd, we know the kernel will only write correct  in get_pvclock_arch()
261         // Safe because we know that our file is a VM fd, we know the kernel will only read correct  in set_pvclock_arch()
281             // Safe because we know our file is a VM fd, we know the kernel will only write  in get_pic_state()
288                 // Safe as we know that we are retrieving data related to the  in get_pic_state()
307         // Safe because we know that our file is a VM fd, we know the kernel will only read  in set_pic_state()
332             // Safe because we know our file is a VM fd, we know the kernel will only write  in get_ioapic_state()
339                 // Safe as we know that we are retrieving data related to the  in get_ioapic_state()
358         // Safe because we know that our file is a VM fd, we know the kernel will only read  in set_ioapic_state()
374         // Safe because we know that our file is a VM fd, we know the kernel will only read the  in create_pit()
390         // Safe because we know that our file is a VM fd, we know the kernel will only write  in get_pit_state()
405         // Safe because we know that our file is a VM fd, we know the kernel will only read  in set_pit_state()
424         // Safe because we know that our file is a VM fd, we know that the  in set_platform_info_read_access()
443         // safe becuase we allocated the struct and we know the kernel will read  in enable_split_irqchip()
465         // Safe because we allocated the struct and we know the kernel won't write beyond the end of  in get_protected_vm_info()
528         // Safe because we know that our file is a VM fd and we verify the return result.  in set_tss_addr()
542         // 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 valid VM fd  in xsave_size()
603         // Safe because we know we mapped enough memory to hold the kvm_run struct because the  in set_interrupt_window_requested()
613         // Safe because we know we mapped enough memory to hold the kvm_run struct because the  in ready_for_interrupt()
631         // safe becuase we allocated the struct and we know the kernel will read  in interrupt()
643         // Safe because we know that our file is a VCPU fd.  in inject_nmi()
656             // Safe because we know that our file is a VCPU fd, we know the kernel will only read  in get_regs()
672             // Safe because we know that our file is a VCPU fd, we know the kernel will only read  in set_regs()
688             // Safe because we know that our file is a VCPU fd, we know the kernel will only write  in get_sregs()
705         // Safe because we know that our file is a VCPU fd, we know the kernel will only write the  in set_sregs()
730         // Safe because we know that our file is a VCPU fd, we know the kernel will only read the  in set_sregs()
743         // Safe because we know that our file is a VCPU fd, we know the kernel will only write the  in get_fpu()
778         // Safe because we know that our file is a VCPU fd, we know the kernel will only write the  in get_xsave()
797         // Safe because we know that our file is a VCPU fd, we know the kernel will only write the  in set_xsave()
813             // Safe because we know that our file is a VCPU fd, we know the kernel will only write  in get_interrupt_state()
838             // Safe because we know that our file is a VCPU fd, we know the kernel will only read  in set_interrupt_state()
853         // Safe because we know that our file is a VCPU fd, we know the kernel will only write the  in get_debugregs()
880         // Safe because we know that our file is a VCPU fd, we know the kernel will only write the  in get_xcrs()
1150         // Safe because we know that our file is a VCPU fd, we know the kernel will only write the
1169         // Safe because we know that our file is a VCPU fd, we know the kernel will only write the
1175             // Safe because we know that our file is a VCPU fd, we know the kernel will only read