Home
last modified time | relevance | path

Searched refs:intid_bits (Results 1 – 4 of 4) sorted by relevance

/xen/xen/include/asm-arm/
A Dvgic.h171 unsigned int intid_bits; member
362 unsigned int intid_bits);
/xen/xen/arch/arm/
A Dvgic-v3.c61 unsigned int intid_bits; /* Number of interrupt ID bits */ member
67 unsigned int intid_bits) in vgic_v3_setup_hw() argument
73 vgic_v3_hw.intid_bits = intid_bits; in vgic_v3_setup_hw()
1135 typer |= (v->domain->arch.vgic.intid_bits - 1) << GICD_TYPE_ID_BITS_SHIFT; in vgic_v3_distr_mmio_read()
1710 d->arch.vgic.intid_bits = vgic_v3_hw.intid_bits; in vgic_v3_domain_init()
1732 d->arch.vgic.intid_bits = 10; in vgic_v3_domain_init()
A Dgic-v3.c1759 unsigned int intid_bits; in gicv3_init() local
1804 intid_bits = GICD_TYPE_ID_BITS(reg); in gicv3_init()
1806 vgic_v3_setup_hw(dbase, gicv3.rdist_count, gicv3.rdist_regions, intid_bits); in gicv3_init()
/xen/xen/arch/arm/vgic/
A Dvgic.c964 unsigned int intid_bits) in vgic_v3_setup_hw() argument

Completed in 12 milliseconds