Searched defs:ds_type (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/kernel/arch/x86_64/ | ||
H A D | vmx_checks.c | 247 int ds_type = seg_access_type(ds_access_rights); local 415 int ds_type = seg_access_type(ds_access_rights); local |
Completed in 57 milliseconds