1/*
2 * Copyright 2004, Axel D��rfler, axeld@pinc-software.de. All rights reserved.
3 * Distributed under the terms of the MIT License.
4 */
5#ifndef ARCH_x86_BIOS_H
6#define ARCH_x86_BIOS_H
7
8
9#include <SupportDefs.h>
10
11
12#ifndef __x86_64__
13
14#define BIOS32_PCI_SERVICE	'ICP$'
15
16struct bios32_service {
17	uint32	base;
18	uint32	size;
19	uint32	offset;
20};
21
22
23#ifdef __cplusplus
24extern "C" {
25#endif
26
27status_t get_bios32_service(uint32 identifier, struct bios32_service *service);
28status_t bios_init(void);
29
30#ifdef __cplusplus
31}
32#endif
33
34#endif	/* __x86_64__ */
35
36#endif	/* ARCH_x86_BIOS_H */
37