pintos/src/userprog/exception.c File Reference

#include "userprog/exception.h"
#include <inttypes.h>
#include <stdio.h>
#include "userprog/gdt.h"
#include "threads/interrupt.h"
#include "threads/thread.h"

Go to the source code of this file.

Functions

static void kill (struct intr_frame *)
static void page_fault (struct intr_frame *)
void exception_init (void)
void exception_print_stats (void)

Variables

static long long page_fault_cnt


Function Documentation

void exception_init ( void   ) 

Definition at line 31 of file exception.c.

References INTR_OFF, INTR_ON, intr_register_int(), kill(), and page_fault().

Referenced by main().

void exception_print_stats ( void   ) 

Definition at line 66 of file exception.c.

References page_fault_cnt, and printf().

Referenced by print_stats().

static void kill ( struct intr_frame f  )  [static]

static void page_fault ( struct intr_frame f  )  [static]

Definition at line 124 of file exception.c.

References intr_frame::error_code, intr_enable(), kill(), page_fault_cnt, PF_P, PF_U, PF_W, printf(), and write().

Referenced by exception_init().


Variable Documentation

long long page_fault_cnt [static]

Definition at line 10 of file exception.c.

Referenced by exception_print_stats(), and page_fault().


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