Lines Matching refs:tmp32
519 u32 tmp32; in vgic_v3_attr_regs_access() local
543 tmp32 = *reg; in vgic_v3_attr_regs_access()
545 ret = vgic_v3_dist_uaccess(vcpu, is_write, addr, &tmp32); in vgic_v3_attr_regs_access()
547 *reg = tmp32; in vgic_v3_attr_regs_access()
551 tmp32 = *reg; in vgic_v3_attr_regs_access()
553 ret = vgic_v3_redist_uaccess(vcpu, is_write, addr, &tmp32); in vgic_v3_attr_regs_access()
555 *reg = tmp32; in vgic_v3_attr_regs_access()
604 u32 tmp32; in vgic_v3_set_attr() local
607 if (get_user(tmp32, uaddr)) in vgic_v3_set_attr()
610 reg = tmp32; in vgic_v3_set_attr()
625 u32 tmp32; in vgic_v3_set_attr() local
627 if (get_user(tmp32, uaddr)) in vgic_v3_set_attr()
630 reg = tmp32; in vgic_v3_set_attr()
669 u32 tmp32; in vgic_v3_get_attr() local
674 tmp32 = reg; in vgic_v3_get_attr()
675 return put_user(tmp32, uaddr); in vgic_v3_get_attr()
689 u32 tmp32; in vgic_v3_get_attr() local
694 tmp32 = reg; in vgic_v3_get_attr()
695 return put_user(tmp32, uaddr); in vgic_v3_get_attr()