Searched refs:devid_bits (Results 1 – 3 of 3) sorted by relevance
58 unsigned int devid_bits; member1034 reg |= (its->devid_bits - 1) << GITS_TYPER_DEVIDS_SHIFT; in vgic_v3_its_mmio_read()1359 if ( its->max_devices > BIT(its->devid_bits) ) in vgic_v3_its_mmio_write()1360 its->max_devices = BIT(its->devid_bits); in vgic_v3_its_mmio_write()1460 unsigned int devid_bits, in vgic_v3_its_init_virtual() argument1486 its->devid_bits = devid_bits; in vgic_v3_its_init_virtual()1538 hw_its->devid_bits, in vgic_v3_its_init_domain()
467 hw_its->devid_bits = GITS_TYPER_DEVICE_ID_BITS(reg); in gicv3_its_init_single_its()486 ret = its_map_baser(basereg, reg, BIT(hw_its->devid_bits)); in gicv3_its_init_single_its()653 if ( host_devid >= BIT(hw_its->devid_bits) ) in gicv3_its_map_guest_device()
123 unsigned int devid_bits; member
Completed in 8 milliseconds