/kernel/trunk/arch/ia32/include/ddi/ddi.h |
---|
26,11 → 26,8 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ia32ddi |
* @{ |
*/ |
/** |
* @file |
* @file ddi.h |
* @brief ia32 specific DDI declarations and macros. |
*/ |
40,7 → 37,3 |
extern void io_perm_bitmap_install(void); |
#endif |
/** @} |
*/ |