Searched refs:table_type (Results 1 – 1 of 1) sorted by relevance
1712 u64 entry_size, table_type; in vgic_mmio_write_its_baser() local1723 table_type = GITS_BASER_TYPE_DEVICE; in vgic_mmio_write_its_baser()1728 table_type = GITS_BASER_TYPE_COLLECTION; in vgic_mmio_write_its_baser()1740 reg |= table_type << GITS_BASER_TYPE_SHIFT; in vgic_mmio_write_its_baser()1748 switch (table_type) { in vgic_mmio_write_its_baser()