PKUOS - Pintos
Pintos source browser for PKU Operating System course
Variables
init.h File Reference
#include <debug.h>
#include <stdbool.h>
#include <stddef.h>
#include <stdint.h>
Include dependency graph for init.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Variables

uint32_tinit_page_dir
 Page directory with kernel mappings only. More...
 

Variable Documentation

◆ init_page_dir

uint32_t* init_page_dir
extern

Page directory with kernel mappings only.

threads/init.h

FILESYS

Definition at line 42 of file init.c.

Referenced by pagedir_activate(), pagedir_create(), pagedir_destroy(), pagedir_set_page(), and paging_init().