config.h File Reference

Go to the source code of this file.

Defines
#define	PAGE_SIZE   (1 << PAGE_WIDTH)
#define	PAGE_WIDTH   12
#define	USER_ADDRESS_SPACE_END_ARCH   UINT32_C(0x7fffffff)
#define	USER_ADDRESS_SPACE_START_ARCH   UINT32_C(0x00000000)

---

Detailed Description

Definition in file config.h.

---