BOOK3S_INTERRUPT_DATA_STORAGE
(\intno == BOOK3S_INTERRUPT_DATA_STORAGE) || \
kvmppc_inject_interrupt(vcpu, BOOK3S_INTERRUPT_DATA_STORAGE, srr1_flags);
vec = BOOK3S_INTERRUPT_DATA_STORAGE;
BOOK3S_INTERRUPT_DATA_STORAGE);
kvmppc_book3s_queue_irqprio(vcpu, BOOK3S_INTERRUPT_DATA_STORAGE);
case BOOK3S_INTERRUPT_DATA_STORAGE:
bool data = (vec == BOOK3S_INTERRUPT_DATA_STORAGE);