| /branches/dynload/kernel/arch/ia32/include/arch.h |
|---|
| 1,5 → 1,5 |
| /* |
| * Copyright (c) 2005 Martin Decky |
| * Copyright (c) 2009 Martin Decky |
| * All rights reserved. |
| * |
| * Redistribution and use in source and binary forms, with or without |
| 26,7 → 26,7 |
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| /** @addtogroup ia32 |
| /** @addtogroup ia32 |
| * @{ |
| */ |
| /** @file |
| 35,6 → 35,10 |
| #ifndef KERN_ia32_ARCH_H_ |
| #define KERN_ia32_ARCH_H_ |
| #include <genarch/multiboot/multiboot.h> |
| extern void arch_pre_main(uint32_t, const multiboot_info_t *); |
| #endif |
| /** @} |