basemem.h

Go to the documentation of this file.

#ifndef _BASEMEM_H
#define _BASEMEM_H
 
/** @file
 *
 * Base memory allocation
 *
 */
 
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
#include <stdint.h>
#include <realmode.h>
#include <bios.h>
 
/**
 * Read the BIOS free base memory counter
 *
 * @ret fbms            Free base memory counter (in kB)
 */
static inline unsigned int get_fbms ( void ) {
        uint16_t fbms;
 
        get_real ( fbms, BDA_SEG, BDA_FBMS );
        return fbms;
}
 
extern void set_fbms ( unsigned int new_fbms );
 
#endif /* _BASEMEM_H */