Symbol: tlbi_va_s1_to_va
arch/arm64/kvm/nested.c
1045
scope->va = tlbi_va_s1_to_va(val) & ~(scope->size - 1);
arch/arm64/kvm/nested.c
1073
scope->va = tlbi_va_s1_to_va(val) & ~(scope->size - 1);