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