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