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

/barrelfish-master/include/target/arm/barrelfish_kpi/
H A Dpaging_arm_v7.h171 #define L2_TYPE_INVALID_PAGE 0 macro
/barrelfish-master/kernel/arch/armv7/
H A Dpaging.c523 if (entry->small_page.type != L2_TYPE_INVALID_PAGE) {
780 assert( L2_TYPE(e.raw) == L2_TYPE_INVALID_PAGE );

Completed in 93 milliseconds