Lines Matching refs:u64
68 interrupt_info as u64, in vmexit_vmx_instruction_executed()
71 …let rflags: u64 = vmx_vmread(VmcsFields::GUEST_RFLAGS as u32).unwrap() | 0x0001_0000; // set RF fl… in vmexit_vmx_instruction_executed()
132 pub r15: u64,
133 pub r14: u64,
134 pub r13: u64,
135 pub r12: u64,
136 pub r11: u64,
137 pub r10: u64,
138 pub r9: u64,
139 pub r8: u64,
140 pub rdi: u64,
141 pub rsi: u64,
142 pub rbp: u64,
143 pub rbx: u64,
144 pub rdx: u64,
145 pub rcx: u64,
146 pub rax: u64,
267 fn adjust_rip(rip: u64) -> Result<(), SystemError> { in adjust_rip()