Searched refs:PPGMPTWALKGST32BIT (Results 1 - 2 of 2) sorted by relevance
| /vbox/src/VBox/VMM/include/ | ||
| H A D | PGMGstDefs.h | 134 # define PGSTPTWALK PPGMPTWALKGST32BIT |
| H A D | PGMInternal.h | 2741 typedef PGMPTWALKGST32BIT *PPGMPTWALKGST32BIT; typedef |
Completed in 186 milliseconds