IDMAP_INVALID_ADDR
addr = IDMAP_INVALID_ADDR;
if (arm_has_idmap_alias() && boot_alias_start != IDMAP_INVALID_ADDR) {