Searched refs:map_tboot_page (Results 1 - 1 of 1) sorted by relevance
| /arch/x86/kernel/ | ||
| H A D | tboot.c | 123 static int map_tboot_page(unsigned long vaddr, unsigned long pfn, function 155 if (map_tboot_page(vaddr, start_pfn, PAGE_KERNEL_EXEC)) |
Completed in 161 milliseconds