Searched refs:vmcb_pa (Results 1 - 4 of 4) sorted by relevance
/barrelfish-master/usr/arrakismon/ | ||
H A D | guest.h | 41 lpaddr_t vmcb_pa; member in struct:guest |
H A D | guest.c | 1185 g->vmcb_pa = fi.base; |
/barrelfish-master/usr/vmkitmon/ | ||
H A D | guest.h | 33 lpaddr_t vmcb_pa; member in struct:guest |
H A D | guest.c | 711 g->vmcb_pa = fi.base; |
Completed in 95 milliseconds