PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
Go to the source code of this file.
Functions | |
void | test_main (void) |
Try a 0-byte read, which should return 0 without reading anything. More... | |
void test_main | ( | void | ) |
Try a 0-byte read, which should return 0 without reading anything.
Definition at line 9 of file read-zero.c.
References buf, byte_cnt(), CHECK, fail(), open(), and read().