Home | History | Annotate | Download | only in pcbios
      1 /*
      2  * Copyright (C) 2007 Michael Brown <mbrown (at) 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 FILE_LICENCE ( GPL2_OR_LATER );
     20 
     21 #include <stdint.h>
     22 #include <realmode.h>
     23 #include <bios.h>
     24 #include <basemem.h>
     25 #include <gpxe/hidemem.h>
     26 
     27 /** @file
     28  *
     29  * Base memory allocation
     30  *
     31  */
     32 
     33 /**
     34  * Set the BIOS free base memory counter
     35  *
     36  * @v new_fbms		New free base memory counter (in kB)
     37  */
     38 void set_fbms ( unsigned int new_fbms ) {
     39 	uint16_t fbms = new_fbms;
     40 
     41 	/* Update the BIOS memory counter */
     42 	put_real ( fbms, BDA_SEG, BDA_FBMS );
     43 
     44 	/* Update our hidden memory region map */
     45 	hide_basemem();
     46 }
     47