Searched refs:ASMReadTscWithAux (Results 1 - 5 of 5) sorted by relevance

/vbox/src/VBox/HostDrivers/Support/
H A DSUPLibAll.cpp75 uTsc = ASMReadTscWithAux(&iCpuSet);
200 ASMReadTscWithAux(&iCpuSet);
H A DSUPDrvGip.cpp306 ASMReadTscWithAux(&uAux);
310 ASMReadTscWithAux(&uAux);
/vbox/src/VBox/Runtime/common/time/
H A Dtimesupref.h98 ASMReadTscWithAux(&uAux);
154 uint64_t u64Delta = ASMReadTscWithAux(&uAux2); /* serializing */
/vbox/include/iprt/
H A Dasm-amd64-x86.h637 DECLASM(uint64_t) ASMReadTscWithAux(uint32_t *puAux);
639 DECLINLINE(uint64_t) ASMReadTscWithAux(uint32_t *puAux) function
/vbox/src/VBox/Runtime/testcase/
H A DtstRTInlineAsm.cpp1694 BENCH(s_u64 = ASMReadTscWithAux(&uAux), "ASMReadTscWithAux");

Completed in 62 milliseconds