Searched refs:commpage_table (Results 1 – 1 of 1) sorted by relevance
10131 pmap_paddr_t commpage_table = commpage_default_table; local10149 commpage_table = commpage_4k_table;10160 commpage_table = commpage_default_table;10215 (commpage_table & ARM_TTE_TABLE_MASK) | ARM_TTE_TYPE_TABLE | ARM_TTE_VALID);