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 */