Searched refs:mk_cr_64 (Results 1 - 1 of 1) sorted by relevance

/netgear-WNDR4500v2-V1.0.0.60_1.0.38/src/linux/linux-2.6/drivers/kvm/
H A Dkvm_main.c1315 static u64 mk_cr_64(u64 curr_cr, u32 new_val) function
1364 set_cr0(vcpu, mk_cr_64(vcpu->cr0, val));
1374 set_cr4(vcpu, mk_cr_64(vcpu->cr4, val));

Completed in 56 milliseconds