Provide {get,set}_fbms() in basemem.h.
[people/xl0/gpxe.git] / src / arch / i386 / firmware / pcbios / basemem.c
1 /*
2  * Copyright (C) 2007 Michael Brown <mbrown@fensystems.co.uk>.
3  *
4  * This program is free software; you can redistribute it and/or
5  * modify it under the terms of the GNU General Public License as
6  * published by the Free Software Foundation; either version 2 of the
7  * License, or any later version.
8  *
9  * This program is distributed in the hope that it will be useful, but
10  * WITHOUT ANY WARRANTY; without even the implied warranty of
11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
12  * General Public License for more details.
13  *
14  * You should have received a copy of the GNU General Public License
15  * along with this program; if not, write to the Free Software
16  * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
17  */
18
19 #include <stdint.h>
20 #include <realmode.h>
21 #include <bios.h>
22 #include <basemem.h>
23 #include <gpxe/hidemem.h>
24
25 /** @file
26  *
27  * Base memory allocation
28  *
29  */
30
31 /**
32  * Set the BIOS free base memory counter
33  *
34  * @v new_fbms          New free base memory counter (in kB)
35  */
36 void set_fbms ( unsigned int new_fbms ) {
37         uint16_t fbms = new_fbms;
38
39         /* Update the BIOS memory counter */
40         put_real ( fbms, BDA_SEG, BDA_FBMS );
41
42         /* Update our hidden memory region map */
43         hide_basemem();
44 }