Searched refs:process_rdmsr (Results 1 – 1 of 1) sorted by relevance
388 static void process_rdmsr(struct kvm_vcpu *vcpu, uint32_t msr_index) in process_rdmsr() function489 process_rdmsr(vcpu, msr_index); in run_guest_then_process_rdmsr()