Searched refs:ds_g (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/kernel/arch/x86_64/ | ||
H A D | vmx_checks.c | 589 int ds_g = seg_access_g(ds_access_rights); local 594 assert(ds_g == 0); 598 assert(ds_g == 1); |
Completed in 32 milliseconds