Searched refs:val64 (Results 1 – 8 of 8) sorted by relevance
26 uint64_t val64; \36 val64 = __raw_readl(addr_##unit##_##name() + 4); \37 val64 <<= 32; \38 val64 |= __raw_readl(addr_##unit##_##name()); \39 return val64; \
93 __u64 val64[FPU_REG_WIDTH / 64]; member
53 static inline void xconf_writeq(u64 val64, volatile void __iomem *addr) in xconf_writeq() argument59 : [hw] "r" (addr), [v] "r" (val64) in xconf_writeq()
62 __u64 val64[FPU_REG_WIDTH / 64]; member
249 u64 val64; member
476 .src_val = ctxt->src.val64, in emulator_check_intercept()477 .dst_val = ctxt->dst.val64, in emulator_check_intercept()2220 ctxt->dst.val64 = ((u64)reg_read(ctxt, VCPU_REGS_RCX) << 32) | in em_cmpxchg8b()3902 u64 new_val = ctxt->src.val64; in check_dr_write()5242 ctxt->src.orig_val64 = ctxt->src.val64; in x86_emulate_insn()5269 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++) \