Searched refs:map_tboot_pages (Results 1 – 1 of 1) sorted by relevance
155 static int map_tboot_pages(unsigned long vaddr, unsigned long start_pfn, in map_tboot_pages() function178 if (map_tboot_pages(map_base << PAGE_SHIFT, map_base, map_size)) in tboot_create_trampoline()
