Searched refs:kernel_start (Results 1 – 3 of 3) sorted by relevance
221 unsigned long kernel_start, kernel_size; in find_rd_root_image() local243 kernel_start = phdr.p_paddr; in find_rd_root_image()247 size_off = rd_root_size - kernel_start; in find_rd_root_image()248 image_off = rd_root_image - kernel_start; in find_rd_root_image()
2070 pmap_map_stolen(vaddr_t kernel_start) in pmap_show_mapping() 2011 pmap_map_stolen(vaddr_t kernel_start) pmap_map_stolen() argument
2210 pmap_map_stolen(vaddr_t kernel_start) in pmap_show_mapping() 2135 pmap_map_stolen(vaddr_t kernel_start) pmap_map_stolen() argument