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