Searched refs:vmcb_pa (Results 1 - 4 of 4) sorted by relevance
/barrelfish-2018-10-04/usr/arrakismon/ | ||
H A D | guest.h | 32 lpaddr_t vmcb_pa; member in struct:guest |
H A D | guest.c | 724 g->vmcb_pa = fi.base; |
/barrelfish-2018-10-04/usr/vmkitmon/ | ||
H A D | guest.h | 33 lpaddr_t vmcb_pa; member in struct:guest |
H A D | guest.c | 692 g->vmcb_pa = fi.base; |
Completed in 46 milliseconds