Searched defs:u20PageNoHigh (Results 1 - 1 of 1) sorted by relevance
| /vbox/include/iprt/ | ||
| H A D | x86.h | 1560 uint32_t u20PageNoHigh : 20; member in struct:X86PTEPAEBITS 1731 uint32_t u20PageNoHigh : 20; member in struct:X86PDEPAEBITS 1872 uint32_t u20PageNoHigh : 20; member in struct:X86PDE2MPAEBITS 2024 uint32_t u20PageNoHigh : 20; member in struct:X86PDPEBITS 2058 uint32_t u20PageNoHigh : 20; member in struct:X86PDPEAMD64BITS 2167 uint32_t u20PageNoHigh : 20; member in struct:X86PML4EBITS |
Completed in 72 milliseconds