PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
#include <stdio.h>
#include "tests/threads/tests.h"
#include "threads/malloc.h"
#include "threads/synch.h"
#include "threads/thread.h"
#include "devices/timer.h"
Go to the source code of this file.
Functions | |
void | test_alarm_zero (void) |
Tests timer_sleep(0), which should return immediately. More... | |
void test_alarm_zero | ( | void | ) |
Tests timer_sleep(0), which should return immediately.
Definition at line 11 of file alarm-zero.c.