Searched refs:uXDI (Results 1 - 2 of 2) sorted by relevance
| /vbox/src/VBox/Runtime/common/asm/ |
| H A D | ASMWrMsrEx.asm | 38 ; @param uXDI msc=rdx, gcc=rsi, x86=[ebp+12] The EDI/RDI value.
|
| /vbox/include/iprt/ |
| H A D | asm-amd64-x86.h | 1939 * @param uXDI RDI/EDI value.
1942 DECLASM(uint64_t) ASMRdMsrEx(uint32_t uRegister, RTCCUINTREG uXDI);
1944 DECLINLINE(uint64_t) ASMRdMsrEx(uint32_t uRegister, RTCCUINTREG uXDI) argument
1952 "D" (uXDI));
1958 xchg edi, [uXDI]
1962 xchg edi, [uXDI]
1976 * @param uXDI RDI/EDI value.
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
1992 "D" (uXDI));
[all...] |
Completed in 47 milliseconds