Searched refs:highest_pn (Results 1 – 1 of 1) sorted by relevance
738 ppnum_t highest_pn = 0; in i386_vm_init() local757 if (cur_end > highest_pn) { in i386_vm_init()758 highest_pn = cur_end; in i386_vm_init()772 avail_end = i386_ptob(highest_pn + 1); in i386_vm_init()