system.h File Reference

#include <config.h>

Go to the source code of this file.

Macros
#define	PAGE_SIZE   (0x1000)
#define	PAGE_MASK   (PAGE_SIZE - 1)
#define	PAGE_SHIFT   (12)
#define	TABLE_SIZE   (0x200 * PAGE_SIZE)
#define	TABLE_MASK   (TABLE_SIZE - 1)
#define	KERNEL_BREAK   0xC0000000

Macro Definition Documentation

KERNEL_BREAK

#define KERNEL_BREAK   0xC0000000

Definition at line 20 of file system.h.

PAGE_MASK

#define PAGE_MASK   (PAGE_SIZE - 1)

Definition at line 8 of file system.h.

PAGE_SHIFT

#define PAGE_SHIFT   (12)

Definition at line 9 of file system.h.

PAGE_SIZE

#define PAGE_SIZE   (0x1000)

Definition at line 7 of file system.h.

TABLE_MASK

#define TABLE_MASK   (TABLE_SIZE - 1)

Definition at line 16 of file system.h.

TABLE_SIZE

#define TABLE_SIZE   (0x200 * PAGE_SIZE)

Definition at line 15 of file system.h.

Referenced by switch_to_higher_half().