sync_vpe          850 drivers/irqchip/irq-gic-v3-its.c 				struct its_vpe *sync_vpe)
sync_vpe          853 drivers/irqchip/irq-gic-v3-its.c 	its_encode_vpeid(sync_cmd, sync_vpe->vpe_id);