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

/barrelfish-master/include/barrelfish_kpi/
H A Dvmx_encodings.h92 #define VMX_GUEST_INTR_STATE 0x4824 // Guest activity state macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c566 err += vmwrite(VMX_GUEST_INTR_STATE, 0x0);
624 err += vmwrite(VMX_GUEST_INTR_STATE, 0x0);
885 err += vmread(VMX_GUEST_INTR_STATE, &intr_state);
/barrelfish-master/usr/vmkitmon/
H A Dguest.c680 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_GUEST_INTR_STATE, 0x0);
/barrelfish-master/usr/arrakismon/
H A Dguest.c1154 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_GUEST_INTR_STATE, 0x0);

Completed in 97 milliseconds