#include <biosint.h>
#include <basemem.h>
#include <gpxe/init.h>
+#include <gpxe/memmap.h>
#include <gpxe/hidemem.h>
/** Alignment for hidden memory regions */
* returned by the BIOS.
*/
static void hide_etherboot ( void ) {
+ struct memory_map memmap;
+
+ /* Dump memory map before mangling */
+ DBG ( "Hiding gPXE from system memory map\n" );
+ get_memmap ( &memmap );
/* Initialise the hidden regions */
hide_basemem();
/* Hook INT 15 */
hook_bios_interrupt ( 0x15, ( unsigned int ) int15,
&int15_vector );
+
+ /* Dump memory map after mangling */
+ DBG ( "Hidden gPXE from system memory map\n" );
+ get_memmap ( &memmap );
}
/**
}
extmem = ( extmem_1m_to_16m_k + ( extmem_16m_plus_64k * 64 ) );
- DBG ( "INT 15,e801 extended memory size %d+64*%d=%d kB\n",
- extmem_1m_to_16m_k, extmem_16m_plus_64k, extmem );
+ DBG ( "INT 15,e801 extended memory size %d+64*%d=%d kB [100000,%x)\n",
+ extmem_1m_to_16m_k, extmem_16m_plus_64k, extmem,
+ ( 0x100000 + ( extmem * 1024 ) ) );
return extmem;
}
__asm__ __volatile__ ( REAL_CODE ( "int $0x15" )
: "=a" ( extmem ) : "a" ( 0x8800 ) );
- DBG ( "INT 15,88 extended memory size %d kB\n", extmem );
+ DBG ( "INT 15,88 extended memory size %d kB [100000, %x)\n",
+ extmem, ( 0x100000 + ( extmem * 1024 ) ) );
return extmem;
}
/* Get base and extended memory sizes */
basemem = basememsize();
- DBG ( "FBMS base memory size %d kB\n", basemem );
+ DBG ( "FBMS base memory size %d kB [0,%x)\n",
+ basemem, ( basemem * 1024 ) );
extmem = extmemsize();
/* Try INT 15,e820 first */
physaddr_t end = user_to_phys ( segment, memsz );
unsigned int i;
+ DBG ( "Preparing segment [%lx,%lx,%lx)\n", start, mid, end );
+
/* Sanity check */
if ( filesz > memsz ) {
DBG ( "Insane segment [%lx,%lx,%lx)\n", start, mid, end );