Symbol: KVMPPC_IRQ_MPIC