/* ----------------------------------------------------------------------- *
 *
 *   Copyright 2001-2009 H. Peter Anvin - All Rights Reserved
 *   Copyright 2009 Intel Corporation; author: H. Peter Anvin
 *
 *   This program is free software; you can redistribute it and/or modify
 *   it under the terms of the GNU General Public License as published by
 *   the Free Software Foundation, Inc., 53 Temple Place Ste 330,
 *   Boston MA 02111-1307, USA; either version 2 of the License, or
 *   (at your option) any later version; incorporated herein by reference.
 *
 * ----------------------------------------------------------------------- */

#include <stdint.h>

/* Addresses in the zero page */
#define BIOS_INT13	(0x13*4)	/* INT 13h vector */
#define BIOS_INT15	(0x15*4)	/* INT 15h vector */
#define BIOS_INT1E	(0x1E*4)	/* INT 1Eh vector */
#define BIOS_INT40	(0x40*4)	/* INT 13h vector */
#define BIOS_INT41	(0x41*4)	/* INT 41h vector */
#define BIOS_INT46	(0x46*4)	/* INT 46h vector */
#define BIOS_BASEMEM	0x413		/* Amount of DOS memory */
#define BIOS_EQUIP	0x410		/* BIOS equipment list */
#define BIOS_HD_COUNT	0x475		/* Number of hard drives present */

/* Access to objects in the zero page */
static inline void wrz_8(uint32_t addr, uint8_t data)
{
    *((uint8_t *) addr) = data;
}

static inline void wrz_16(uint32_t addr, uint16_t data)
{
    *((uint16_t *) addr) = data;
}

static inline void wrz_32(uint32_t addr, uint32_t data)
{
    *((uint32_t *) addr) = data;
}

static inline uint8_t rdz_8(uint32_t addr)
{
    return *((uint8_t *) addr);
}

static inline uint16_t rdz_16(uint32_t addr)
{
    return *((uint16_t *) addr);
}

static inline uint32_t rdz_32(uint32_t addr)
{
    return *((uint32_t *) addr);
}