pintos-doxygen/html/shutdown_8h_source.html

#ifndef DEVICES_SHUTDOWN_H

#define DEVICES_SHUTDOWN_H


#include <debug.h>


/** How to shut down when Pintos has nothing left to do. */

enum shutdown_type

  {

    SHUTDOWN_NONE,              /**< Loop forever. */

    SHUTDOWN_POWER_OFF,         /**< Power off the machine (if possible). */

    SHUTDOWN_REBOOT,            /**< Reboot the machine (if possible). */

  };


void shutdown (void);

void shutdown_configure (enum shutdown_type);

void shutdown_reboot (void) NO_RETURN;

void shutdown_power_off (void) NO_RETURN;


#endif /**< devices/shutdown.h */

debug.h

NO_RETURN
#define NO_RETURN
Definition: debug.h:8

shutdown
void shutdown(void)
Shuts down the machine in the way configured by shutdown_configure().
Definition: shutdown.c:29

shutdown_configure
void shutdown_configure(enum shutdown_type)
Sets TYPE as the way that machine will shut down when Pintos execution is complete.
Definition: shutdown.c:50

shutdown_type
shutdown_type
How to shut down when Pintos has nothing left to do.
Definition: shutdown.h:8

SHUTDOWN_POWER_OFF
@ SHUTDOWN_POWER_OFF
Power off the machine (if possible).
Definition: shutdown.h:10

SHUTDOWN_NONE
@ SHUTDOWN_NONE
Loop forever.
Definition: shutdown.h:9

SHUTDOWN_REBOOT
@ SHUTDOWN_REBOOT
Reboot the machine (if possible).
Definition: shutdown.h:11

shutdown_power_off
void shutdown_power_off(void) NO_RETURN
devices/shutdown.h
Definition: shutdown.c:88

shutdown_reboot
void shutdown_reboot(void) NO_RETURN
Reboots the machine via the keyboard controller.
Definition: shutdown.c:57