Searched refs:pvalidate_4k_page (Results 1 – 1 of 1) sorted by relevance
| /linux/arch/x86/boot/startup/ |
| H A D | sev-shared.c | 638 static void pvalidate_4k_page(unsigned long vaddr, unsigned long paddr, in pvalidate_4k_page() function
669 pvalidate_4k_page(vaddr, paddr, false, desc->ca, desc->caa_pa); in __page_state_change()
691 pvalidate_4k_page(vaddr, paddr, true, desc->ca, desc->caa_pa); in __page_state_change()
|