/trunk/kernel/arch/amd64/include/ddi/ddi.h |
---|
35,8 → 35,8 |
* @brief amd64 specific DDI declarations and macros. |
*/ |
#ifndef __amd64_DDI_H__ |
#define __amd64_DDI_H__ |
#ifndef KERN_amd64_DDI_H_ |
#define KERN_amd64_DDI_H_ |
extern void io_perm_bitmap_install(void); |
44,4 → 44,3 |
/** @} |
*/ |