Searched refs:get_rdx_init_val (Results 1 - 2 of 2) sorted by relevance
/netgear-WNDR4500v2-V1.0.0.60_1.0.38/src/linux/linux-2.6/drivers/kvm/ | ||
H A D | kvm.h | 669 static inline u32 get_rdx_init_val(void) function |
H A D | vmx.c | 1077 vcpu->regs[VCPU_REGS_RDX] = get_rdx_init_val(); |
Completed in 163 milliseconds