arm_has_idmap_alias  865 arch/arm/kernel/setup.c 		if (arm_has_idmap_alias() && boot_alias_start != IDMAP_INVALID_ADDR) {
arm_has_idmap_alias 1040 arch/arm/kernel/setup.c 	if (arm_has_idmap_alias()) {