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

/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c448 uint64_t fs_sel; local
449 err += vmread(VMX_GUEST_FS_SEL, &fs_sel);
450 int fs_rpl = (fs_sel & SEL_RPL);
1010 uint64_t fs_sel; local
1011 err += vmread(VMX_HOST_FS_SEL, &fs_sel);
1012 int fs_rpl = (fs_sel & SEL_RPL);
1013 int fs_ti = (fs_sel & SEL_TI);

Completed in 35 milliseconds