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

/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c277 uint64_t gs_access_rights; local
278 err += vmread(VMX_GUEST_GS_ACCESS, &gs_access_rights);
279 if (seg_reg_usable(gs_access_rights)) {
280 int gs_type = seg_access_type(gs_access_rights);
348 uint64_t gs_access_rights; local
349 err += vmread(VMX_GUEST_GS_ACCESS, &gs_access_rights);
350 if (seg_reg_usable(gs_access_rights)) {
351 int gs_s = seg_access_s(gs_access_rights);
457 uint64_t gs_access_rights; local
458 err += vmread(VMX_GUEST_GS_ACCESS, &gs_access_rights);
514 uint64_t gs_access_rights; local
637 uint64_t gs_access_rights; local
740 uint64_t gs_access_rights; local
[all...]

Completed in 34 milliseconds