Searched refs:commpage_table (Results 1 – 1 of 1) sorted by relevance
10917 pmap_paddr_t commpage_table = commpage_default_table; local10935 commpage_table = commpage_4k_table;10946 commpage_table = commpage_default_table;10948 commpage_table = commpage32_default_table;11000 (commpage_table & ARM_TTE_TABLE_MASK) | ARM_TTE_TYPE_TABLE | ARM_TTE_VALID);