pintos/src/threads/init.c File Reference

#include "threads/init.h"
#include <console.h>
#include <debug.h>
#include <inttypes.h>
#include <limits.h>
#include <random.h>
#include <stddef.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "devices/kbd.h"
#include "devices/input.h"
#include "devices/pci.h"
#include "devices/usb.h"
#include "devices/serial.h"
#include "devices/timer.h"
#include "devices/vga.h"
#include "devices/rtc.h"
#include "threads/interrupt.h"
#include "threads/io.h"
#include "threads/loader.h"
#include "threads/malloc.h"
#include "threads/palloc.h"
#include "threads/pte.h"
#include "threads/thread.h"
#include "tests/threads/tests.h"

Go to the source code of this file.

Defines

#define CONTROL_REG   0x64

Functions

static void bss_init (void)
static void paging_init (void)
static void pci_zone_init (void)
static char ** read_command_line (void)
static char ** parse_options (char **argv)
static void run_actions (char **argv)
static void usage (void)
static void print_stats (void)
int main (void)
static void run_task (char **argv)
void reboot (void)
void power_off (void)

Variables

uint32_tbase_page_dir
bool base_page_dir_initialized = 0
bool power_off_when_done
static bool reboot_when_done


Define Documentation

#define CONTROL_REG   0x64

Definition at line 469 of file init.c.

Referenced by reboot().


Function Documentation

static void bss_init ( void   )  [static]

Definition at line 163 of file init.c.

References memset().

Referenced by main().

int main ( void   ) 

static void paging_init ( void   )  [static]

static char ** parse_options ( char **  argv  )  [static]

static void pci_zone_init ( void   )  [static]

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().

static void print_stats ( void   )  [static]

static char ** read_command_line ( void   )  [static]

Definition at line 231 of file init.c.

References arc4::i, LOADER_ARG_CNT, LOADER_ARGS, LOADER_ARGS_LEN, NULL, PANIC, printf(), ptov(), strchr(), and strnlen().

Referenced by main().

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().

static void run_actions ( char **  argv  )  [static]

Definition at line 335 of file init.c.

References fsutil_append(), fsutil_cat(), fsutil_extract(), fsutil_ls(), fsutil_rm(), name, NULL, PANIC, run_task(), and strcmp().

Referenced by main().

static void run_task ( char **  argv  )  [static]

Definition at line 319 of file init.c.

References printf(), process_execute(), process_wait(), and run_test().

Referenced by run_actions().

static void usage ( void   )  [static]

Definition at line 386 of file init.c.

References power_off(), and printf().


Variable Documentation

Definition at line 45 of file init.c.

Referenced by paging_init().

Definition at line 61 of file init.c.

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

bool reboot_when_done [static]

Definition at line 64 of file init.c.

Referenced by main(), and parse_options().


Generated on Mon Jan 10 16:43:58 2011 for Pintos by  doxygen 1.5.6