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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/
H A Dplatfeature.h217 #define LMSW_SOURCE_DATA_SHIFT 16 macro
218 #define LMSW_SOURCE_DATA (0xFFFF << LMSW_SOURCE_DATA_SHIFT) /* 16:31 lmsw source */
H A Dcr.c238 val = (exit_qualification >> LMSW_SOURCE_DATA_SHIFT) & 0x0f;

Completed in 107 milliseconds