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

/vbox/src/VBox/VMM/include/
H A DPGMInline.h1016 DECLINLINE(PX86PDE) pgmShwGet32BitPDEPtr(PVMCPU pVCpu, RTGCPTR GCPtr) function

Completed in 72 milliseconds