Searched refs:TTBCR_PD1 (Results 1 – 2 of 2) sorted by relevance
72 disabled = ttbcr & TTBCR_PD1; in guest_walk_sd()
100 #define TTBCR_PD1 (_AC(1,U)<<5) macro
Completed in 7 milliseconds