arch/arm64/kvm/vgic/vgic-v3.c

920

kvm_vgic_global_state.has_gicv4_1 = info->has_v4_1 && gicv4_enable;

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

5822

bool has_v4_1 = false;

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

5850

has_v4_1 |= is_v4_1(its);

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

5854

if (WARN_ON(!has_v4_1 && rdists->has_rvpeid))

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

5860

if (has_v4_1)

drivers/irqchip/irq-gic-v3.c

2166

gic_v3_kvm_info.has_v4_1 = gic_data.rdists.has_rvpeid;

drivers/irqchip/irq-gic-v3.c

2525

gic_v3_kvm_info.has_v4_1 = gic_data.rdists.has_rvpeid;

drivers/irqchip/irq-gic-v4.c

116

return has_v4_1() && gic_cpuif_has_vsgi();

drivers/irqchip/irq-gic-v4.c

243

if (has_v4_1()) {

drivers/irqchip/irq-gic-v4.c

269

if (has_v4_1()) {

include/linux/irqchip/arm-vgic-info.h

38

bool has_v4_1;