Searched refs:pvalidate_4k_page (Results 1 – 3 of 3) sorted by relevance
| /linux/arch/x86/boot/startup/ |
| H A D | sev-startup.c | 190 pvalidate_4k_page(vaddr, paddr, false); in early_set_pages_state()
209 pvalidate_4k_page(vaddr, paddr, true); in early_set_pages_state()
|
| H A D | sev-shared.c | 801 static void __head pvalidate_4k_page(unsigned long vaddr, unsigned long paddr, in pvalidate_4k_page() function
|
| /linux/arch/x86/boot/compressed/ |
| H A D | sev.c | 92 pvalidate_4k_page(paddr, paddr, false); in __page_state_change()
114 pvalidate_4k_page(paddr, paddr, true); in __page_state_change()
|