Searched refs:commpage_table (Results 1 – 1 of 1) sorted by relevance
10488 pmap_paddr_t commpage_table = commpage_default_table; local10506 commpage_table = commpage_4k_table;10517 commpage_table = commpage_default_table;10519 commpage_table = commpage32_default_table;10571 (commpage_table & ARM_TTE_TABLE_MASK) | ARM_TTE_TYPE_TABLE | ARM_TTE_VALID);