next up previous contents index
Next: 10.11.3 phys_lmm_init: Initialize kernel Up: (X86 PC) Base Environment: Previous: 10.11.1 phys_lmm.h: Physical memory

10.11.2 phys_mem_max: Highest physical memory address

   

SYNOPSIS

#include <oskit/x86/pc/phys_lmm.h>

extern oskit_addr_t phys_mem_max ;

DESCRIPTION

This variable records the highest physical memory address; i.e. the end address of the highest free block added to malloc_lmm. This is the highest address that the kernel should ever have to deal with.

Not all addresses between 0 and phys_mem_max are necessarily available for allocation, there may be holes in the available physical memory space.



University of Utah Flux Research Group