text: /* Copyright (c) 2018 Griefer@Work                                            *
   *                                                                            *
   * This software is provided 'as-is', without any express or implied          *
   * warranty. In no event will the authors be held liable for any damages      *
   * arising from the use of this software.                                     *
   *                                                                            *
   * Permission is granted to anyone to use this software for any purpose,      *
   * including commercial applications, and to alter it and redistribute it     *
   * freely, subject to the following restrictions:                             *
   *                                                                            *
   * 1. The origin of this software must not be misrepresented; you must not    *
   *    claim that you wrote the original software. If you use this software    *
   *    in a product, an acknowledgement in the product documentation would be  *
   *    appreciated but is not required.                                        *
   * 2. Altered source versions must be plainly marked as such, and must not be *
   *    misrepresented as being the original software.                          *
   * 3. This notice may not be removed or altered from any source distribution. *
   */
  #ifndef GUARD_KERNEL_I386_KOS_PAGING_C
  #define GUARD_KERNEL_I386_KOS_PAGING_C 1
  
  #include <hybrid/compiler.h>
  #include <hybrid/host.h>
  
  #ifndef __INTELLISENSE__
  #ifdef __x86_64__
  #include "paging64.c.inl"
  #else
  #include "paging32.c.inl"
  #endif
  #endif
  
  #endif /* !GUARD_KERNEL_I386_KOS_PAGING_C */
  