PKUOS - Pintos
Pintos source browser for PKU Operating System course
exception.h
Go to the documentation of this file.
1#ifndef USERPROG_EXCEPTION_H
2#define USERPROG_EXCEPTION_H
3
4/** Page fault error code bits that describe the cause of the exception. */
5#define PF_P 0x1 /**< 0: not-present page. 1: access rights violation. */
6#define PF_W 0x2 /**< 0: read, 1: write. */
7#define PF_U 0x4 /**< 0: kernel, 1: user process. */
8
9void exception_init (void);
10void exception_print_stats (void);
11
12#endif /**< userprog/exception.h */
void exception_print_stats(void)
userprog/exception.h
Definition: exception.c:65
void exception_init(void)
Registers handlers for interrupts that can be caused by user programs.
Definition: exception.c:30