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