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

1063

if (WARN_ON(!is_v4_1(its)))

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

1078

if (WARN_ON(!is_v4_1(its)))

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

1575

WARN_ON(!is_v4_1(its_dev->its));

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

1593

(is_v4_1(its_dev->its) || !irqd_is_forwarded_to_vcpu(d)))

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

1611

if (is_v4_1(its_dev->its))

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

2584

if (!is_v4_1(its) || its == cur_its)

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

2703

if (is_v4_1(its)) {

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

2745

if (!is_v4_1(its))

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

4199

if (is_v4_1(its))

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

5258

if (is_v4_1(its)) {

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

5850

has_v4_1 |= is_v4_1(its);

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

892

if (is_v4_1(its)) {

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

913

if (!is_v4_1(its))

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

942

if (!is_v4_1(its) && desc->its_vmapti_cmd.db_enabled)

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

965

if (!is_v4_1(its) && desc->its_vmovi_cmd.db_enabled)

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

995

if (is_v4_1(its)) {