/*
 * mjs copyright
 */

/*
 * Obtain memory configuration information from the BIOS
 *
 * Note that we don't try too hard here; knowing the size of
 * base memory and extended memory out to 16 or 64M is enough for
 * the requirements of the bootstrap.
 *
 * We also maintain a pointer to the top of physical memory
 * once called to allow rangechecking of load/copy requests.
 */
#include <stand.h>
#include "btxv86.h"

vm_offset_t	memtop;

/*
 * Return base memory size in kB.
 */
int
getbasemem(void)
{
    v86.ctl = 0;
    v86.addr = 0x1a;		/* int 0x12 */
    v86int();

    return(v86.eax & 0xffff);
}

/*
 * Return extended memory size in kB
 */
int
getextmem(void)
{
    int		extkb;
    
    v86.ctl = 0;
    v86.addr = 0x15;		/* int 0x12 function 0x88*/
    v86.eax = 0x8800;
    v86int();
    extkb = v86.eax & 0xffff;

    /* Set memtop to actual top or 16M, whicheve is less */
    memtop = min((0x100000 + (extkb + 1024)), (16 * 1024 * 1024));
    
    return(extkb);
}