#ifndef THREADS_INIT_H
#define THREADS_INIT_H
#include
#include
#include
#include
/* Page directory with kernel mappings only. */
extern uint32_t *init_page_dir;
#endif /* threads/init.h */
#ifndef THREADS_INIT_H
#define THREADS_INIT_H
#include
#include
#include
#include
/* Page directory with kernel mappings only. */
extern uint32_t *init_page_dir;
#endif /* threads/init.h */