blob: cfac441f485544fe56a039241543f4cb8db0630c [file] [log] [blame]
Greg Hartman76d05dc2016-11-23 15:51:27 -08001/* ----------------------------------------------------------------------- *
2 *
3 * Copyright 2001-2009 H. Peter Anvin - All Rights Reserved
4 * Copyright 2009 Intel Corporation; author: H. Peter Anvin
5 *
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation, Inc., 53 Temple Place Ste 330,
9 * Boston MA 02111-1307, USA; either version 2 of the License, or
10 * (at your option) any later version; incorporated herein by reference.
11 *
12 * ----------------------------------------------------------------------- */
13
14#include <stdint.h>
15
16/* Addresses in the zero page */
17#define BIOS_INT13 (0x13*4) /* INT 13h vector */
18#define BIOS_INT15 (0x15*4) /* INT 15h vector */
19#define BIOS_INT1E (0x1E*4) /* INT 1Eh vector */
20#define BIOS_INT40 (0x40*4) /* INT 13h vector */
21#define BIOS_INT41 (0x41*4) /* INT 41h vector */
22#define BIOS_INT46 (0x46*4) /* INT 46h vector */
23#define BIOS_BASEMEM 0x413 /* Amount of DOS memory */
24#define BIOS_EQUIP 0x410 /* BIOS equipment list */
25#define BIOS_HD_COUNT 0x475 /* Number of hard drives present */
26
27/* Access to objects in the zero page */
28static inline void wrz_8(uint32_t addr, uint8_t data)
29{
30 *((uint8_t *) addr) = data;
31}
32
33static inline void wrz_16(uint32_t addr, uint16_t data)
34{
35 *((uint16_t *) addr) = data;
36}
37
38static inline void wrz_32(uint32_t addr, uint32_t data)
39{
40 *((uint32_t *) addr) = data;
41}
42
43static inline uint8_t rdz_8(uint32_t addr)
44{
45 return *((uint8_t *) addr);
46}
47
48static inline uint16_t rdz_16(uint32_t addr)
49{
50 return *((uint16_t *) addr);
51}
52
53static inline uint32_t rdz_32(uint32_t addr)
54{
55 return *((uint32_t *) addr);
56}