Ignore:
File:
1 edited

Legend:

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

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