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

/barrelfish-2018-10-04/tools/elver/
H A Dboot.S20 #define PAGING_ENABLE 31 define
74 bts $PAGING_ENABLE,%eax
/barrelfish-2018-10-04/usr/drivers/cpuboot/arch/x86/
H A Dinit_ap_x86_32.S23 #define PAGING_ENABLE 31 define
H A Dinit_ap_x86_64.S25 #define PAGING_ENABLE 31 define
143 bts $PAGING_ENABLE,%eax

Completed in 133 milliseconds