Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/arch/ia32/include/bios/bios.h

    rdf4ed85 rbe3f94c  
    2727 */
    2828
    29 /** @addtogroup ia32   
     29/** @addtogroup ia32
    3030 * @{
    3131 */
     
    3636#define KERN_ia32_BIOS_H_
    3737
    38 #include <arch/types.h>
    39 
    40 #define BIOS_EBDA_PTR   0x40e
     38#include <typedefs.h>
    4139
    4240extern uintptr_t ebda;
Note: See TracChangeset for help on using the changeset viewer.