/*
 * Copyright 2004, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
 * Distributed under the terms of the MIT License.
 */
#ifndef ARCH_x86_BIOS_H
#define ARCH_x86_BIOS_H


#include <SupportDefs.h>


#ifndef __x86_64__

#define BIOS32_PCI_SERVICE      'ICP$'

struct bios32_service {
        uint32  base;
        uint32  size;
        uint32  offset;
};


#ifdef __cplusplus
extern "C" {
#endif

status_t get_bios32_service(uint32 identifier, struct bios32_service *service);
status_t bios_init(void);

#ifdef __cplusplus
}
#endif

#endif  /* __x86_64__ */

#endif  /* ARCH_x86_BIOS_H */