Searched refs:edc (Results 1 – 4 of 4) sorted by relevance
100 &tx4939_ircptr->edc.r); in tx4939_irq_mask_ack()
89 struct tx4939_le_reg edc; member
293 __u32 edc; /* 0x00cc */ member
589 vcpu->arch.sie_block->edc = mchk->ext_damage_code; in __write_machine_check()