Searched defs:u64Val (Results 1 - 4 of 4) sorted by relevance

/vbox/include/iprt/
H A Dasm-amd64-x86.h1902 * @param u64Val Value to write.
1905 DECLASM(void) ASMWrMsr(uint32_t uRegister, uint64_t u64Val);
1907 DECLINLINE(void) ASMWrMsr(uint32_t uRegister, uint64_t u64Val) argument
1911 u.u = u64Val;
1977 * @param u64Val Value to write.
1980 DECLASM(void) ASMWrMsrEx(uint32_t uRegister, RTCCUINTREG uXDI, uint64_t u64Val);
1982 DECLINLINE(void) ASMWrMsrEx(uint32_t uRegister, RTCCUINTREG uXDI, uint64_t u64Val) argument
1986 u.u = u64Val;
/vbox/src/VBox/VMM/VMMR0/
H A DHMVMXR0.cpp1642 uint64_t u64Val; local
1643 int rc = VMXReadVmcs64(VMX_VMCS64_HOST_FIELD_EFER_FULL, &u64Val);
1647 AssertMsgReturnVoid(u64HostEferMsr == u64Val, ("u64HostEferMsr=%#RX64 u64Val=%#RX64\n", u64HostEferMsr, u64Val));
5010 uint64_t u64Val; local
5052 rc = VMXReadVmcs64(VMX_VMCS64_CTRL_EPTP_FULL, &u64Val); AssertRC(rc);
5053 Log4(("VMX_VMCS64_CTRL_EPTP_FULL %#RX64\n", u64Val));
5056 rc = VMXReadVmcsGstN(VMX_VMCS_GUEST_RIP, &u64Val); AssertRC(rc);
5057 Log4(("Old Guest Rip %#RX64 New %#RX64\n", pCtx->rip, u64Val));
5482 VMXWriteVmcs64Ex(PVMCPU pVCpu, uint32_t idxField, uint64_t u64Val) argument
5579 VMXWriteCachedVmcsEx(PVMCPU pVCpu, uint32_t idxField, uint64_t u64Val) argument
6060 uint64_t u64Val = 0; local
6087 uint64_t u64Val = 0; local
6246 uint64_t u64Val = 0; local
6385 uint64_t u64Val = 0; local
6487 uint64_t u64Val = 0; local
6611 uint64_t u64Val = 0; local
9472 uint64_t u64Val; local
10691 uint64_t u64Val; local
[all...]
/vbox/src/VBox/Runtime/common/dbg/
H A Ddbgmoddwarf.cpp3407 uint64_t u64Val; local
3410 case DW_FORM_udata: u64Val = rtDwarfCursor_GetULeb128(pCursor, 0); break;
3411 case DW_FORM_data1: u64Val = rtDwarfCursor_GetU8(pCursor, 0); break;
3412 case DW_FORM_data2: u64Val = rtDwarfCursor_GetU16(pCursor, 0); break;
3413 case DW_FORM_data4: u64Val = rtDwarfCursor_GetU32(pCursor, 0); break;
3414 case DW_FORM_data8: u64Val = rtDwarfCursor_GetU64(pCursor, 0); break;
3424 *pbMember = (uint8_t)u64Val;
3425 if (*pbMember != u64Val)
3433 *(uint16_t *)pbMember = (uint16_t)u64Val;
3434 if (*(uint16_t *)pbMember != u64Val)
[all...]
/vbox/include/VBox/vmm/
H A Dhm_vmx.h2140 * @param u64Val 16, 32 or 64 bits value
2147 DECLASM(int) VMXWriteVmcs64(uint32_t idxField, uint64_t u64Val);
2149 DECLINLINE(int) VMXWriteVmcs64(uint32_t idxField, uint64_t u64Val) argument
2151 unsigned char rcMsc = __vmx_vmwrite(idxField, u64Val);
2158 # define VMXWriteVmcs64(idxField, u64Val) VMXWriteVmcs64Ex(pVCpu, idxField, u64Val) /** @todo dead ugly, picking up pVCpu like this */
2159 VMMR0DECL(int) VMXWriteVmcs64Ex(PVMCPU pVCpu, uint32_t idxField, uint64_t u64Val);
2166 # define VMXWriteVmcsGstN(idxField, u64Val) (pVCpu->CTX_SUFF(pVM)->hm.s.fAllow64BitGuests) ? \
2167 VMXWriteVmcs64(idxField, u64Val) \
2168 : VMXWriteVmcs32(idxField, u64Val)
[all...]

Completed in 1871 milliseconds