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

/barrelfish-master/usr/drivers/cpuboot/arch/x86/
H A Dinit_ap_x86_64.S33 #define PAGE_BITS ((1 << 0) | (1 << 1) | (1 << 2) | (1 << 7)) define
94 mov $PAGE_BITS, %ebx // P, R/R, U/S & PS bit set
105 mov $PAGE_BITS, %ebx
/barrelfish-master/usr/pci/
H A Dpci.c43 #define PAGE_BITS BASE_PAGE_BITS macro

Completed in 90 milliseconds