Searched refs:ppcnum (Results 1 – 1 of 1) sorted by relevance
641 static void armsse_forward_ppc(ARMSSE *s, const char *ppcname, int ppcnum) in armsse_forward_ppc() argument649 SplitIRQ *splitter = &s->ppc_irq_splitter[ppcnum]; in armsse_forward_ppc()679 qdev_get_gpio_in(DEVICE(&s->ppc_irq_orgate), ppcnum)); in armsse_forward_ppc()680 s->irq_status_in[ppcnum] = qdev_get_gpio_in(dev_splitter, 0); in armsse_forward_ppc()682 s->irq_status_in[ppcnum], name, 1); in armsse_forward_ppc()