Symbol: kvm_arm_vmid_clear_active
arch/arm64/include/asm/kvm_host.h
1355
void kvm_arm_vmid_clear_active(void);
arch/arm64/kvm/arm.c
762
kvm_arm_vmid_clear_active();