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

/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c451 int fs_dpl = seg_access_dpl(fs_access_rights); local
453 assert(fs_dpl >= fs_rpl);

Completed in 21 milliseconds