Searched defs:MaxPurgedTlbs (Results 1 - 1 of 1) sorted by relevance
/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/IndustryStandard/ | ||
H A D | Pal.h | 600 UINT64 MaxPurgedTlbs:16; ///< Unsigned 16 bit integer denoting the member in struct:__anon11674 |
Completed in 57 milliseconds