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