Searched refs:VMX_GUEST_FS_ACCESS (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c267 err += vmread(VMX_GUEST_FS_ACCESS, &fs_access_rights);
341 err += vmread(VMX_GUEST_FS_ACCESS, &fs_access_rights);
443 err += vmread(VMX_GUEST_FS_ACCESS, &fs_access_rights);
507 err += vmread(VMX_GUEST_FS_ACCESS, &fs_access_rights);
621 err += vmread(VMX_GUEST_FS_ACCESS, &fs_access_rights);
731 err += vmread(VMX_GUEST_FS_ACCESS, &fs_access_rights);
H A Dvmx_vmkit.c582 err += vmwrite(VMX_GUEST_FS_ACCESS, 0xC093);
640 err += vmwrite(VMX_GUEST_FS_ACCESS, 0x93);
853 err += vmread(VMX_GUEST_FS_ACCESS, &guest_fs_access);
/barrelfish-master/include/barrelfish_kpi/
H A Dvmx_encodings.h88 #define VMX_GUEST_FS_ACCESS 0x481C // Guest FS access rights macro

Completed in 84 milliseconds