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

/barrelfish-master/kernel/arch/x86_64/
H A Dpaging.c43 #define DEVICE_PAGE_BITMAP \ macro
149 if(paging_map_mem(base, size, DEVICE_PAGE_BITMAP) == 0) {
/barrelfish-master/kernel/arch/x86_32/
H A Dpaging.c25 #define DEVICE_PAGE_BITMAP \ macro
271 return paging_x86_32_map_special(base, size, DEVICE_PAGE_BITMAP);

Completed in 11 milliseconds