Searched refs:TCR_HD (Results 1 – 2 of 2) sorted by relevance
270 #define TCR_HD (UL(1) << 40) macro
1704 u64 tcr = read_sysreg(tcr_el1) | TCR_HD; in __cpu_enable_hw_dbm()