CS318 - Pintos
Pintos source browser for JHU CS318 course
|
uint16_t uint16_t uint16_t uint16_t uint16_t uint16_t uint16_t uint16_t bitmap
uint16_t uint16_t uint16_t uint16_t ds
uint16_t uint16_t uint16_t ss
unsigned short int uint16_t
struct thread * thread_current(void)
Returns the running thread.
#define PGSIZE
Bytes in a page.
The Task-State Segment (TSS).
uint16_t void * esp0
Ring 0 stack virtual address.
void * palloc_get_page(enum palloc_flags flags)
Obtains a single free page and returns its kernel virtual address.
uint16_t uint16_t uint16_t uint16_t uint16_t fs
uint16_t uint16_t uint16_t uint16_t uint16_t uint16_t uint16_t ldt
#define ASSERT(CONDITION)
This is outside the header guard so that debug.h may be included multiple times with different settin...
uint16_t void * esp1
Ring 0 stack segment selector.
void tss_init(void)
Initializes the kernel TSS.
#define SEL_KDSEG
Kernel data selector.
uint16_t uint16_t uint16_t uint16_t uint16_t uint16_t gs
void tss_update(void)
Sets the ring 0 stack pointer in the TSS to point to the end of the thread stack.
struct tss * tss_get(void)
Returns the kernel TSS.
static struct tss * tss
Kernel TSS.
uint16_t uint16_t uint16_t uint16_t uint16_t uint16_t uint16_t uint16_t trace