Searched refs:commpage_table (Results 1 – 1 of 1) sorted by relevance
10206 pmap_paddr_t commpage_table = commpage_default_table; local10224 commpage_table = commpage_4k_table;10235 commpage_table = commpage_default_table;10290 (commpage_table & ARM_TTE_TABLE_MASK) | ARM_TTE_TYPE_TABLE | ARM_TTE_VALID);