#ifndef DEVICES_INTQ_H #define DEVICES_INTQ_H #include “threads/interrupt.h” #include “threads/lock.h” /* An “interrupt queue”, a circular buffer shared between kernel threads and external interrupt handlers. Interrupt queue…
#ifndef THREADS_PTE_H #define THREADS_PTE_H #include “threads/vaddr.h” /* Functions and macros for working with x86 hardware page tables. See vaddr.h for more generic functions and macros…
#! /bin/sh -e if test -z “$SRCDIR” || test -z “$PINTOSDIR” || test -z “$DSTDIR”; then echo “usage: env SRCDIR= PINTOSDIR= DSTDIR= sh $0″ echo…
use strict; use warnings; sub arc4_init { my ($key) = @_; my (@s) = 0…255; my ($j) = 0; for my $i (0…255) { $j…
/* Expand the stack by 32 bytes all at once using the PUSHA instruction. This must succeed. */ #include #include “tests/arc4.h” #include “tests/cksum.h” #include “tests/lib.h”…
/* Maps a file into memory and runs child-inherit to verify that mappings are not inherited. */ #include #include #include “tests/vm/sample.inc” #include “tests/lib.h” #include “tests/main.h”…
/* Verifies that mapping over the code segment is disallowed. */ #include #include #include #include “tests/lib.h” #include “tests/main.h” void test_main (void) { uintptr_t test_main_page =…
/* Tries to mmap an invalid fd, which must either fail silently or terminate the process with exit code -1. */ #include #include “tests/lib.h” #include…
#ifndef THREADS_FLAGS_H #define THREADS_FLAGS_H /* EFLAGS Register. */ #define FLAG_MBS 0x00000002 /* Must be set. */ #define FLAG_IF 0x00000200 /* Interrupt Flag. */ #endif /*…
#include “filesys/file.h” #include #include “filesys/inode.h” #include “threads/malloc.h” /* An open file. */ struct file { struct inode *inode; /* File’s inode. */ off_t pos; /*…