/*
 * $Id$
 *
 */

/* 
 * Copyright (C) by Johnny Zackrisson 2002. All rights reserved.
 *
 * You are free to do whatever you want with this code.
 */

#ifndef _BIOS32_H__
#define _BIOS32_H_

#define KERNEL_CS	0x8
#define KERNEL_DS	0x10

#define BIOS32_MAKESIG(a, b, x, y) \
	((a) | ((b) << 8) | ((x) << 16) | ((y) << 24))

void bios32_probe();
//u32 	pcibios_probe();

/* XXX: BSD types? */
struct bios32_t {
	unsigned long 	sign;
	unsigned long	entry;
	unsigned char	rev;
	unsigned char 	len;
	unsigned char	cksum;
	unsigned char 	res[5];
};

struct bios32_entry_t {
	unsigned long 	addr;
	unsigned short 	sel;
};

#endif /* _BIOS32_H_ */