Searched refs:val64 (Results 1 – 6 of 6) sorted by relevance
25 uint64_t val64; \35 val64 = __raw_readl(addr_##unit##_##name() + 4); \36 val64 <<= 32; \37 val64 |= __raw_readl(addr_##unit##_##name()); \38 return val64; \
98 __u64 val64[FPU_REG_WIDTH / 64]; member
262 u64 val64; member
513 .src_val = ctxt->src.val64, in emulator_check_intercept()514 .dst_val = ctxt->dst.val64, in emulator_check_intercept()2328 ctxt->dst.val64 = ((u64)reg_read(ctxt, VCPU_REGS_RCX) << 32) | in em_cmpxchg8b()4332 u64 new_val = ctxt->src.val64; in check_dr_write()5653 ctxt->src.orig_val64 = ctxt->src.val64; in x86_emulate_insn()5680 ctxt->dst.orig_val64 = ctxt->dst.val64; in x86_emulate_insn()
632 u64 val64 = val; in emit_a32_mov_se_i64() local635 val64 |= 0xffffffff00000000ULL; in emit_a32_mov_se_i64()636 emit_a32_mov_i64(dst, val64, ctx); in emit_a32_mov_se_i64()
836 for (i = 1; i < ARRAY_SIZE(ctx->fpr[x].val64); i++) \