Lines Matching refs:u32
29 u32 value; in vgic_mmio_read_v2_misc()
77 u32 reg; in vgic_mmio_uaccess_write_v2_misc()
165 u32 intid = VGIC_ADDR_TO_INTID(addr, 8); in vgic_mmio_read_target()
184 u32 intid = VGIC_ADDR_TO_INTID(addr, 8); in vgic_mmio_write_target()
211 u32 intid = addr & 0x0f; in vgic_mmio_read_sgipend()
229 u32 intid = addr & 0x0f; in vgic_mmio_write_sgipendc()
251 u32 intid = addr & 0x0f; in vgic_mmio_write_sgipends()
279 u32 val; in vgic_mmio_read_vcpuif()
532 region = vgic_get_mmio_region(vcpu, &iodev, addr, sizeof(u32)); in vgic_v2_has_attr_regs()
540 int offset, u32 *val) in vgic_v2_cpuif_uaccess()
552 int offset, u32 *val) in vgic_v2_dist_uaccess()