Symbol: arm_has_idmap_alias
arch/arm/kernel/setup.c
1046
if (arm_has_idmap_alias()) {
arch/arm/kernel/setup.c
882
if (arm_has_idmap_alias() && boot_alias_start != IDMAP_INVALID_ADDR) {