pintos/src/threads/init.h File Reference

#include <debug.h>
#include <stdbool.h>
#include <stddef.h>
#include <stdint.h>

Go to the source code of this file.

Functions
void	power_off (void) NO_RETURN
void	reboot (void)
Variables
uint32_t *	base_page_dir
bool	power_off_when_done

---

Function Documentation

void power_off

(

void

)

Definition at line 506 of file init.c.

References filesys_done(), outb(), print_stats(), printf(), s, and serial_flush().

Referenced by debug_panic(), main(), and usage().

void reboot

(

void

)

Definition at line 473 of file init.c.

References CONTROL_REG, inb(), outb(), printf(), and timer_udelay().

Referenced by keyboard_interrupt(), and main().

---

Variable Documentation

uint32_t* base_page_dir

Definition at line 44 of file init.c.

bool power_off_when_done

Definition at line 61 of file init.c.

Referenced by debug_panic(), main(), and parse_options().