its_encode_vpeid  586 drivers/irqchip/irq-gic-v3-its.c 	its_encode_vpeid(cmd, desc->its_vinvall_cmd.vpe->vpe_id);
its_encode_vpeid  604 drivers/irqchip/irq-gic-v3-its.c 	its_encode_vpeid(cmd, desc->its_vmapp_cmd.vpe->vpe_id);
its_encode_vpeid  628 drivers/irqchip/irq-gic-v3-its.c 	its_encode_vpeid(cmd, desc->its_vmapti_cmd.vpe->vpe_id);
its_encode_vpeid  651 drivers/irqchip/irq-gic-v3-its.c 	its_encode_vpeid(cmd, desc->its_vmovi_cmd.vpe->vpe_id);
its_encode_vpeid  671 drivers/irqchip/irq-gic-v3-its.c 	its_encode_vpeid(cmd, desc->its_vmovp_cmd.vpe->vpe_id);
its_encode_vpeid  853 drivers/irqchip/irq-gic-v3-its.c 	its_encode_vpeid(sync_cmd, sync_vpe->vpe_id);