Searched refs:lphysfree (Results 1 – 1 of 1) sorted by relevance
696 uint32_t lphysfree; in vstart() local722 lphysfree = kernelBootArgs->kaddr + kernelBootArgs->ksize; in vstart()723 physfree = (void *)(uintptr_t)((lphysfree + PAGE_SIZE - 1) & ~(PAGE_SIZE - 1)); in vstart()