text: /*
   * Copyright (C) 2011 Alex Smith
   *
   * Permission to use, copy, modify, and/or distribute this software for any
   * purpose with or without fee is hereby granted, provided that the above
   * copyright notice and this permission notice appear in all copies.
   *
   * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
   * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
   * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
   * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
   * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
   * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
   * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
   */
  
  /**
   * @file
   * @brief		ARM paging definitions.
   */
  
  #ifndef __ARCH_PAGE_H
  #define __ARCH_PAGE_H
  
  /** Page size definitions. */
  #define PAGE_WIDTH		12		/**< Width of a page in bits. */
  #define PAGE_SIZE		0x1000		/**< Size of a page (4KB). */
  #define LARGE_PAGE_WIDTH	20		/**< Width of a large page in bits. */
  #define LARGE_PAGE_SIZE		0x100000	/**< Size of large page (1MB). */
  
  #endif /* __ARCH_PAGE_H */
  