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

1672

table_type = GITS_BASER_TYPE_DEVICE;

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

1698

case GITS_BASER_TYPE_DEVICE:

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

1901

((u64)GITS_BASER_TYPE_DEVICE << GITS_BASER_TYPE_SHIFT);

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

891

case GITS_BASER_TYPE_DEVICE:

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

2356

[GITS_BASER_TYPE_DEVICE] = "Devices",

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

2697

case GITS_BASER_TYPE_DEVICE:

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

3413

baser = its_get_baser(its, GITS_BASER_TYPE_DEVICE);

tools/testing/selftests/kvm/lib/arm64/gic_v3_its.c

91

its_install_table(GITS_BASER_TYPE_DEVICE, device_tbl, device_tbl_sz);