drivers/irqchip/irq-gic-v3-its.c

1067

its_encode_vpeid(cmd, desc->its_invdb_cmd.vpe->vpe_id);

drivers/irqchip/irq-gic-v3-its.c

1082

its_encode_vpeid(cmd, desc->its_vsgi_cmd.vpe->vpe_id);

drivers/irqchip/irq-gic-v3-its.c

1268

its_encode_vpeid(sync_cmd, sync_vpe->vpe_id);

drivers/irqchip/irq-gic-v3-its.c

870

its_encode_vpeid(cmd, desc->its_vinvall_cmd.vpe->vpe_id);

drivers/irqchip/irq-gic-v3-its.c

887

its_encode_vpeid(cmd, desc->its_vmapp_cmd.vpe->vpe_id);

drivers/irqchip/irq-gic-v3-its.c

949

its_encode_vpeid(cmd, desc->its_vmapti_cmd.vpe->vpe_id);

drivers/irqchip/irq-gic-v3-its.c

972

its_encode_vpeid(cmd, desc->its_vmovi_cmd.vpe->vpe_id);

drivers/irqchip/irq-gic-v3-its.c

992

its_encode_vpeid(cmd, desc->its_vmovp_cmd.vpe->vpe_id);