IPIC_SIMSR_H
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,
ipic_write(ipic->regs, IPIC_SIMSR_H, 0);
.mask = IPIC_SIMSR_H,
ipic_saved_state.simsr[0] = ipic_read(ipic->regs, IPIC_SIMSR_H);
.mask = IPIC_SIMSR_H,
ipic_write(ipic->regs, IPIC_SIMSR_H, 0);
ipic_write(ipic->regs, IPIC_SIMSR_H, ipic_saved_state.simsr[0]);
.mask = IPIC_SIMSR_H,
.mask = IPIC_SIMSR_H,