From 5fec8c0cea7a42b7e07b07db61caa05003cd0687 Mon Sep 17 00:00:00 2001 From: Anton S Date: Fri, 29 Apr 2016 10:30:46 +0200 Subject: Included init.h for power_off() in process.c --- src/userprog/process.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/userprog/process.c b/src/userprog/process.c index 7df8778..b4177d0 100644 --- a/src/userprog/process.c +++ b/src/userprog/process.c @@ -12,6 +12,7 @@ #include "threads/thread.h" #include "threads/vaddr.h" /* PHYS_BASE */ #include "threads/interrupt.h" /* if_ */ +#include "threads/init.h" /* power_off() */ /* Headers not yet used that you may need for various reasons. */ #include "threads/synch.h" -- cgit v1.2.1