kvm_get_active_pcid 5647 arch/x86/kvm/mmu.c 	if (pcid == kvm_get_active_pcid(vcpu)) {
kvm_get_active_pcid  102 arch/x86/kvm/mmu.h 					      kvm_get_active_pcid(vcpu));
kvm_get_active_pcid 5447 arch/x86/kvm/vmx/vmx.c 		if (kvm_get_active_pcid(vcpu) == operand.pcid) {