| /trunk/kernel/arch/ia32xen/include/mm/memory_init.h |
|---|
| 26,15 → 26,15 |
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| /** @addtogroup xen32mm |
| /** @addtogroup ia32xen_mm |
| * @{ |
| */ |
| /** @file |
| * @ingroup xen32mm |
| * @ingroup ia32xen_mm |
| */ |
| #ifndef KERN_xen32_MEMORY_INIT_H_ |
| #define KERN_xen32_MEMORY_INIT_H_ |
| #ifndef KERN_ia32xen_MEMORY_INIT_H_ |
| #define KERN_ia32xen_MEMORY_INIT_H_ |
| #include <typedefs.h> |