Searched defs:vmcb_va (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-master/usr/arrakismon/ | ||
| H A D | guest.h | 42 lvaddr_t vmcb_va; member in struct:guest |
| /barrelfish-master/usr/vmkitmon/ | ||
| H A D | guest.h | 34 lvaddr_t vmcb_va; member in struct:guest |
Completed in 31 milliseconds