sl@0: /** @file  ../include/machine/param.h
sl@0: @internalComponent
sl@0: */
sl@0: 
sl@0: /** @def _ALIGNBYTES
sl@0: 
sl@0: Round p (pointer or byte index) up to a correctly-aligned value for all data types (int, long, ...).   
sl@0: The result is unsigned int and must be cast to any desired pointer type.
sl@0: 
sl@0: @publishedAll
sl@0: @released
sl@0: */
sl@0: 
sl@0: /** @def PAGE_SHIFT
sl@0: 
sl@0: LOG2(PAGE_SIZE)
sl@0: 
sl@0: @publishedAll
sl@0: @released
sl@0: */
sl@0: 
sl@0: /** @def PAGE_SIZE
sl@0: 
sl@0: bytes per page
sl@0: 
sl@0: @publishedAll
sl@0: @released
sl@0: */
sl@0: 
sl@0: /** @def PDRSHIFT
sl@0: 
sl@0: LOG2(NBPDR)
sl@0: 
sl@0: @publishedAll
sl@0: @released
sl@0: */
sl@0: 
sl@0: /** @def VM_BCACHE_SIZE_MAX
sl@0: 
sl@0: Ceiling on size of buffer cache
sl@0: 
sl@0: @publishedAll
sl@0: @released
sl@0: */
sl@0: 
sl@0: /** @def IOPAGES
sl@0: 
sl@0: pages of io permission bitmap
sl@0: 
sl@0: @publishedAll
sl@0: @released
sl@0: */