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

/netgear-R7000-V1.0.7.12_1.2.5/components/opensource/linux/linux-2.6.36/arch/ia64/kvm/
H A Dvcpu.h587 static inline u64 vcpu_get_dbr(struct kvm_vcpu *vcpu, u64 reg) function
H A Dvcpu.c1530 r1 = vcpu_get_dbr(vcpu, r3);

Completed in 50 milliseconds