400             uint32_t shi = extract64(dn, 32, 32);  in HELPER()  local
407                 v7m_stack_write(cpu, faddr + 4, shi, mmu_idx, STACK_LAZYFP);  in HELPER()
1087             uint32_t shi = extract64(dn, 32, 32);  in HELPER()  local
1093             cpu_stl_data_ra(env, faddr + 4, shi, ra);  in HELPER()
1150             uint32_t slo, shi;  in HELPER()  local
1159             shi = cpu_ldl_data_ra(env, faddr + 4, ra);  in HELPER()
1161             dn = (uint64_t) shi << 32 | slo;  in HELPER()
1309                     uint32_t shi = extract64(dn, 32, 32);  in v7m_push_stack()  local
1317                         v7m_stack_write(cpu, faddr + 4, shi,  in v7m_push_stack()
1791                     uint32_t slo, shi;  in do_v7m_exception_exit()  local
1801                         v7m_stack_read(cpu, &shi, faddr + 4, mmu_idx);  in do_v7m_exception_exit()
1807                     dn = (uint64_t)shi << 32 | slo;  in do_v7m_exception_exit()