Searched refs:DUMMY_CTX_TCR_VALUE (Results 1 – 1 of 1) sorted by relevance
13 #define DUMMY_CTX_TCR_VALUE ULL(0xffff0000) macro96 write_tcr2_el1(tcr_value & DUMMY_CTX_TCR_VALUE); in modify_el1_tcr2_regs()