diff options
author | rsc <rsc> | 2007-08-28 05:00:53 +0000 |
---|---|---|
committer | rsc <rsc> | 2007-08-28 05:00:53 +0000 |
commit | 6eed1ee9b0e752109285bb44421cc9d59b0c171c (patch) | |
tree | d4cc70aa98d9effef4add124bad331ec633448dc | |
parent | c2f354e4e1abb4eaea466d36c26623e47917f74b (diff) | |
download | xv6-labs-6eed1ee9b0e752109285bb44421cc9d59b0c171c.tar.gz xv6-labs-6eed1ee9b0e752109285bb44421cc9d59b0c171c.tar.bz2 xv6-labs-6eed1ee9b0e752109285bb44421cc9d59b0c171c.zip |
formatting
-rw-r--r-- | bio.c | 1 | ||||
-rw-r--r-- | pipe.c | 3 |
2 files changed, 3 insertions, 1 deletions
@@ -42,6 +42,7 @@ binit(void) initlock(&buf_table_lock, "buf_table"); +//PAGEBREAK! // Create linked list of buffers bufhead.prev = &bufhead; bufhead.next = &bufhead; @@ -43,6 +43,7 @@ pipealloc(struct file **f0, struct file **f1) (*f1)->pipe = p; return 0; +//PAGEBREAK: 20 bad: if(p) kfree((char*)p, PAGE); @@ -74,7 +75,7 @@ pipeclose(struct pipe *p, int writable) kfree((char*)p, PAGE); } -//PAGEBREAK: 20 +//PAGEBREAK: 30 int pipewrite(struct pipe *p, char *addr, int n) { |