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

1002

return valid_vpe(its, desc->its_vmovp_cmd.vpe);

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

1020

return valid_vpe(its, map->vpe);

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

1038

return valid_vpe(its, map->vpe);

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

1056

return valid_vpe(its, map->vpe);

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

1071

return valid_vpe(its, desc->its_invdb_cmd.vpe);

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

1091

return valid_vpe(its, desc->its_vsgi_cmd.vpe);

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

874

return valid_vpe(its, desc->its_vinvall_cmd.vpe);

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

881

struct its_vpe *vpe = valid_vpe(its, desc->its_vmapp_cmd.vpe);

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

956

return valid_vpe(its, desc->its_vmapti_cmd.vpe);

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

979

return valid_vpe(its, desc->its_vmovi_cmd.vpe);