valid_vpe         590 drivers/irqchip/irq-gic-v3-its.c 	return valid_vpe(its, desc->its_vinvall_cmd.vpe);
valid_vpe         612 drivers/irqchip/irq-gic-v3-its.c 	return valid_vpe(its, desc->its_vmapp_cmd.vpe);
valid_vpe         635 drivers/irqchip/irq-gic-v3-its.c 	return valid_vpe(its, desc->its_vmapti_cmd.vpe);
valid_vpe         658 drivers/irqchip/irq-gic-v3-its.c 	return valid_vpe(its, desc->its_vmovi_cmd.vpe);
valid_vpe         676 drivers/irqchip/irq-gic-v3-its.c 	return valid_vpe(its, desc->its_vmovp_cmd.vpe);