Searched refs:get_rdx_init_val (Results 1 – 2 of 2) sorted by relevance
945 static inline u32 get_rdx_init_val(void) in get_rdx_init_val() function
4304 vmx->vcpu.arch.regs[VCPU_REGS_RDX] = get_rdx_init_val(); in vmx_vcpu_reset()