Searched defs:guest_physical (Results 1 - 1 of 1) sorted by relevance
/barrelfish-2018-10-04/include/cpuid/ | ||
H A D | cpuid.h | 364 uint8_t guest_physical; ///< maximum guest physical byte address size in bits member in struct:cpuid_adressspaceinfo |
Completed in 184 milliseconds