Searched refs:VMX_GUEST_DR7 (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/include/barrelfish_kpi/
H A Dvmx_encodings.h213 #define VMX_GUEST_DR7 0x681A // Guest DR7 macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c562 err += vmwrite(VMX_GUEST_DR7, 0x0);
619 err += vmwrite(VMX_GUEST_DR7, 0x400);

Completed in 172 milliseconds