Searched refs:kernstart (Results 1 – 1 of 1) sorted by relevance
211 vaddr_t kernstart, kernend; local430 kernstart = trunc_page((vaddr_t)kernel_text) - 2 * PAGE_SIZE;433 kernstartpfn = atop(ALPHA_K0SEG_TO_PHYS(kernstart));