Searched refs:TCR_EL1_TBI1 (Results 1 – 2 of 2) sorted by relevance
| /xen/xen/arch/arm/ | ||
| A D | guest_walk.c | 330 if ( ((gva & BIT(55, ULL)) && (tcr & TCR_EL1_TBI1)) || in get_top_bit() |
| /xen/xen/include/asm-arm/ | ||
| A D | processor.h | 304 #define TCR_EL1_TBI1 (_AC(0x1,ULL)<<38) macro |
Completed in 5 milliseconds