Lines Matching refs:tmp32
516 u32 tmp32; in vgic_v3_attr_regs_access() local
540 tmp32 = *reg; in vgic_v3_attr_regs_access()
542 ret = vgic_v3_dist_uaccess(vcpu, is_write, addr, &tmp32); in vgic_v3_attr_regs_access()
544 *reg = tmp32; in vgic_v3_attr_regs_access()
548 tmp32 = *reg; in vgic_v3_attr_regs_access()
550 ret = vgic_v3_redist_uaccess(vcpu, is_write, addr, &tmp32); in vgic_v3_attr_regs_access()
552 *reg = tmp32; in vgic_v3_attr_regs_access()
601 u32 tmp32; in vgic_v3_set_attr() local
604 if (get_user(tmp32, uaddr)) in vgic_v3_set_attr()
607 reg = tmp32; in vgic_v3_set_attr()
622 u32 tmp32; in vgic_v3_set_attr() local
624 if (get_user(tmp32, uaddr)) in vgic_v3_set_attr()
627 reg = tmp32; in vgic_v3_set_attr()
666 u32 tmp32; in vgic_v3_get_attr() local
671 tmp32 = reg; in vgic_v3_get_attr()
672 return put_user(tmp32, uaddr); in vgic_v3_get_attr()
686 u32 tmp32; in vgic_v3_get_attr() local
691 tmp32 = reg; in vgic_v3_get_attr()
692 return put_user(tmp32, uaddr); in vgic_v3_get_attr()