Searched refs:tci_uint64 (Results 1 – 1 of 1) sorted by relevance
| /openbmc/qemu/tcg/ |
| H A D | tci.c | 47 static uint64_t tci_uint64(uint32_t high, uint32_t low) in tci_uint64() function
459 T1 = tci_uint64(regs[r2], regs[r1]); in tcg_qemu_tb_exec()
460 T2 = tci_uint64(regs[r4], regs[r3]); in tcg_qemu_tb_exec()
679 T1 = tci_uint64(regs[r3], regs[r2]); in tcg_qemu_tb_exec()
680 T2 = tci_uint64(regs[r5], regs[r4]); in tcg_qemu_tb_exec()
687 T1 = tci_uint64(regs[r3], regs[r2]); in tcg_qemu_tb_exec()
688 T2 = tci_uint64(regs[r5], regs[r4]); in tcg_qemu_tb_exec()
935 taddr = tci_uint64(regs[r2], regs[r1]); in tcg_qemu_tb_exec()
958 taddr = tci_uint64(regs[r3], regs[r2]); in tcg_qemu_tb_exec()
980 taddr = tci_uint64(regs[r2], regs[r1]); in tcg_qemu_tb_exec()
[all …]
|