pintos-doxygen/html/init_8h_source.html

#ifndef THREADS_INIT_H

#define THREADS_INIT_H


#include <debug.h>

#include <stdbool.h>

#include <stddef.h>

#include <stdint.h>


/** Page directory with kernel mappings only. */

extern uint32_t *init_page_dir;


#endif /**< threads/init.h */

debug.h

init_page_dir
uint32_t * init_page_dir
Page directory with kernel mappings only.
Definition: init.c:42

stdbool.h

stddef.h

stdint.h

uint32_t
unsigned int uint32_t
Definition: stdint.h:26