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

/barrelfish-master/include/target/arm/barrelfish_kpi/
H A Dpaging_arm_v7.h52 #define ARM_L2_TABLE_PPN(a) ((a) >> ARM_L2_TABLE_BITS) macro
/barrelfish-master/kernel/arch/armv7/
H A Dpaging.c754 e.page_table.base_address = ARM_L2_TABLE_PPN(pa);

Completed in 32 milliseconds