6 * Base memory allocation
10 FILE_LICENCE ( GPL2_OR_LATER
);
17 * Read the BIOS free base memory counter
19 * @ret fbms Free base memory counter (in kB)
21 static inline unsigned int get_fbms ( void ) {
24 get_real ( fbms
, BDA_SEG
, BDA_FBMS
);
28 extern void set_fbms ( unsigned int new_fbms
);
30 /* Actually in hidemem.c, but putting it here avoids polluting the
31 * architecture-independent include/hidemem.h.
33 extern void hide_basemem ( void );
35 #endif /* _BASEMEM_H */