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_t *	init_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().