/trunk/kernel/arch/ia32/include/bios/bios.h |
---|
26,14 → 26,14 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ia32 |
/** @addtogroup ia32 |
* @{ |
*/ |
/** @file |
*/ |
#ifndef __BIOS_H__ |
#define __BIOS_H__ |
#ifndef KERN_ia32_BIOS_H_ |
#define KERN_ia32_BIOS_H_ |
#include <arch/types.h> |
43,8 → 43,7 |
extern void bios_init(void); |
#endif /* __BIOS_H__ */ |
#endif /* KERN_ia32_BIOS_H_ */ |
/** @} |
/** @} |
*/ |