pintos/src/threads/loader.h File Reference

#include <stdint.h>

Go to the source code of this file.

Defines
#define	LOADER_BASE   0x7c00
#define	LOADER_END   0x7e00
#define	LOADER_KERN_BASE   0x20000
#define	LOADER_PHYS_BASE   0xc0000000
#define	LOADER_SIG   (LOADER_END - LOADER_SIG_LEN)
#define	LOADER_PARTS   (LOADER_SIG - LOADER_PARTS_LEN)
#define	LOADER_ARGS   (LOADER_PARTS - LOADER_ARGS_LEN)
#define	LOADER_ARG_CNT   (LOADER_ARGS - LOADER_ARG_CNT_LEN)
#define	LOADER_SIG_LEN   2
#define	LOADER_PARTS_LEN   64
#define	LOADER_ARGS_LEN   128
#define	LOADER_ARG_CNT_LEN   4
#define	SEL_NULL   0x00
#define	SEL_KCSEG   0x08
#define	SEL_KDSEG   0x10
Variables
uint32_t	ram_pages

---

Define Documentation

#define LOADER_ARG_CNT   (LOADER_ARGS - LOADER_ARG_CNT_LEN)

Definition at line 20 of file loader.h.

Referenced by read_command_line().

#define LOADER_ARG_CNT_LEN   4

Definition at line 26 of file loader.h.

#define LOADER_ARGS   (LOADER_PARTS - LOADER_ARGS_LEN)

Definition at line 19 of file loader.h.

Referenced by read_command_line().

#define LOADER_ARGS_LEN   128

Definition at line 25 of file loader.h.

Referenced by read_command_line().

#define LOADER_BASE   0x7c00

Definition at line 6 of file loader.h.

#define LOADER_END   0x7e00

Definition at line 7 of file loader.h.

#define LOADER_KERN_BASE   0x20000

Definition at line 10 of file loader.h.

#define LOADER_PARTS   (LOADER_SIG - LOADER_PARTS_LEN)

Definition at line 18 of file loader.h.

#define LOADER_PARTS_LEN   64

Definition at line 24 of file loader.h.

#define LOADER_PHYS_BASE   0xc0000000

Definition at line 14 of file loader.h.

#define LOADER_SIG   (LOADER_END - LOADER_SIG_LEN)

Definition at line 17 of file loader.h.

#define LOADER_SIG_LEN   2

Definition at line 23 of file loader.h.

#define SEL_KCSEG   0x08

Definition at line 31 of file loader.h.

Referenced by gdt_init(), kill(), and make_gate().

#define SEL_KDSEG   0x10

Definition at line 32 of file loader.h.

Referenced by gdt_init(), and tss_init().

#define SEL_NULL   0x00

Definition at line 30 of file loader.h.

Referenced by gdt_init().

---

Variable Documentation

uint32_t ram_pages

Referenced by main(), pagedir_set_page(), paging_init(), and palloc_init().