Searched refs:tmp32 (Results 1 – 1 of 1) sorted by relevance
524 u32 tmp32; in vgic_v3_attr_regs_access() local548 tmp32 = *reg; in vgic_v3_attr_regs_access()550 ret = vgic_v3_dist_uaccess(vcpu, is_write, addr, &tmp32); in vgic_v3_attr_regs_access()552 *reg = tmp32; in vgic_v3_attr_regs_access()556 tmp32 = *reg; in vgic_v3_attr_regs_access()558 ret = vgic_v3_redist_uaccess(vcpu, is_write, addr, &tmp32); in vgic_v3_attr_regs_access()560 *reg = tmp32; in vgic_v3_attr_regs_access()609 u32 tmp32; in vgic_v3_set_attr() local612 if (get_user(tmp32, uaddr)) in vgic_v3_set_attr()615 reg = tmp32; in vgic_v3_set_attr()[all …]