Searched refs:TCR_TG0_64K (Results 1 – 2 of 2) sorted by relevance
| /xen/xen/arch/arm/ | ||
| A D | guest_walk.c | 256 case TCR_TG0_64K: in get_ttbr_and_gran_64bit() |
| /xen/xen/include/asm-arm/ | ||
| A D | processor.h | 265 #define TCR_TG0_64K (_AC(0x1,UL)<<TCR_TG0_SHIFT) macro |
Completed in 4 milliseconds