get_physmem_alloc_pos
unsigned long get_physmem_alloc_pos(void);
max = min(max, get_physmem_alloc_pos());