Searched defs:vmcb (Results 1 - 8 of 8) sorted by relevance

/barrelfish-master/kernel/arch/x86_64/
H A Dvmkit.c48 amd_vmcb_t vmcb; local
H A Dsvm_vmkit.c174 vmload (lpaddr_t vmcb) { argument
179 vmsave (lpaddr_t vmcb) { argument
223 amd_vmcb_t vmcb; local
[all...]
H A Dsyscall.c1689 amd_vmcb_t vmcb; local
[all...]
/barrelfish-master/kernel/include/
H A Ddispatch.h31 struct cte vmcb; ///< The physical address of the AMD VMCB member in struct:guest
/barrelfish-master/usr/arrakismon/
H A Drealmode.c36 set_vmcb_exit(amd_vmcb_t *vmcb, uint64_t code, uint64_t info1, uint64_t info2) argument
[all...]
H A Dguest.h73 amd_vmcb_t vmcb; member in struct:guest
[all...]
/barrelfish-master/usr/vmkitmon/
H A Drealmode.c36 set_vmcb_exit(amd_vmcb_t *vmcb, uint64_t code, uint64_t info1, uint64_t info2) argument
[all...]
H A Dguest.h65 amd_vmcb_t vmcb; member in struct:guest
[all...]

Completed in 68 milliseconds