Searched refs:TCR_TG0_4K (Results 1 – 2 of 2) sorted by relevance
97 #define TCR_TG0_4K (0 << 14) macro
83 tcr |= TCR_TG0_4K | TCR_SHARED_INNER | TCR_ORGN_WBWA | TCR_IRGN_WBWA; in get_tcr()
Completed in 4 milliseconds