Symbol: pvalidate_4k_page
arch/x86/boot/startup/sev-shared.c
669
pvalidate_4k_page(vaddr, paddr, false, desc->ca, desc->caa_pa);
arch/x86/boot/startup/sev-shared.c
691
pvalidate_4k_page(vaddr, paddr, true, desc->ca, desc->caa_pa);