Searched refs:commpage_table (Results 1 – 1 of 1) sorted by relevance
10919 pmap_paddr_t commpage_table = commpage_default_table; local10937 commpage_table = commpage_4k_table;10948 commpage_table = commpage_default_table;10950 commpage_table = commpage32_default_table;11002 (commpage_table & ARM_TTE_TABLE_MASK) | ARM_TTE_TYPE_TABLE | ARM_TTE_VALID);