Symbol: __hyp_pgtable_total_pages
arch/arm64/include/asm/kvm_pkvm.h
139
res = __hyp_pgtable_total_pages();
arch/arm64/include/asm/kvm_pkvm.h
155
res = __hyp_pgtable_total_pages() + 16;