Home
last modified time | relevance | path

Searched refs:map_tboot_page (Results 1 – 1 of 1) sorted by relevance

/arch/x86/kernel/
Dtboot.c115 static int map_tboot_page(unsigned long vaddr, unsigned long pfn, in map_tboot_page() function
162 if (map_tboot_page(vaddr, start_pfn, PAGE_KERNEL_EXEC)) in map_tboot_pages()