Symbol: IDMAP_VA_BITS
arch/arm64/include/asm/kernel-pgtable.h
34
#define IDMAP_LEVELS ARM64_HW_PGTABLE_LEVELS(IDMAP_VA_BITS)
arch/arm64/include/asm/mmu_context.h
108
__cpu_set_tcr_t0sz(TCR_T0SZ(IDMAP_VA_BITS));
arch/arm64/kvm/va_layout.c
68
return max(IDMAP_VA_BITS, vabits_actual);