PKUOS - Pintos
Pintos source browser for PKU Operating System course
src
userprog
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
9
void
exception_init
(
void
);
10
void
exception_print_stats
(
void
);
11
12
#endif
/**< userprog/exception.h */
exception_print_stats
void exception_print_stats(void)
userprog/exception.h
Definition:
exception.c:65
exception_init
void exception_init(void)
Registers handlers for interrupts that can be caused by user programs.
Definition:
exception.c:30
Generated on Thu Nov 4 2021 19:31:01 for PKUOS - Pintos by
1.9.2