Searched refs:TCR_EPD1 (Results 1 – 2 of 2) sorted by relevance
308 disabled = tcr & TCR_EPD1; in get_ttbr_and_gran_64bit()485 disabled = tcr & TCR_EPD1; in guest_walk_ld()
245 #define TCR_EPD1 (_AC(0x1,UL)<<23) macro
Completed in 6 milliseconds