/trunk/kernel/arch/xen32/include/drivers/xconsole.h |
---|
26,14 → 26,14 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ia32xen |
/** @addtogroup xen32 |
* @{ |
*/ |
/** @file |
*/ |
#ifndef KERN_ia32xen_XCONSOLE_H_ |
#define KERN_ia32xen_XCONSOLE_H_ |
#ifndef KERN_xen32_XCONSOLE_H_ |
#define KERN_xen32_XCONSOLE_H_ |
#include <arch/types.h> |