12 lines
237 B
C
Executable file
12 lines
237 B
C
Executable file
#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 */
|