__kvm_mmu_refresh_passthrough_bits
__kvm_mmu_refresh_passthrough_bits(vcpu, mmu);
void __kvm_mmu_refresh_passthrough_bits(struct kvm_vcpu *vcpu,