Searched refs:external_damage_code (Results 1 – 2 of 2) sorted by relevance
328 if (S390_lowcore.external_damage_code & (1U << ED_ETR_SYNC)) in s390_do_machine_check()330 if (S390_lowcore.external_damage_code & (1U << ED_ETR_SWITCH)) in s390_do_machine_check()332 if (S390_lowcore.external_damage_code & (1U << ED_STP_SYNC)) in s390_do_machine_check()334 if (S390_lowcore.external_damage_code & (1U << ED_STP_ISLAND)) in s390_do_machine_check()
72 __u32 external_damage_code; /* 0x00f4 */ member