Searched refs:vmcb_va (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/usr/arrakismon/
H A Dguest.h42 lvaddr_t vmcb_va; member in struct:guest
H A Dguest.c446 amd_vmcb_initialize(&self->vmcb, (mackerel_addr_t)self->vmcb_va);
1186 err = vspace_map_one_frame_attr((void**)&g->vmcb_va, VMCB_SIZE, g->vmcb_cap,
/barrelfish-master/usr/vmkitmon/
H A Dguest.h34 lvaddr_t vmcb_va; member in struct:guest
H A Dguest.c392 amd_vmcb_initialize(&self->vmcb, (mackerel_addr_t)self->vmcb_va);
712 err = vspace_map_one_frame_attr((void**)&g->vmcb_va, VMCB_SIZE, g->vmcb_cap,

Completed in 36 milliseconds