From 0e50ada984473de20ba47c2ebdbe36b3dad78dd1 Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Tue, 10 Mar 2015 20:23:13 +0100 Subject: Add mutex to pciide driver (fixes some stuff) --- src/kernel/dev/v86.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/kernel/dev/v86.c') diff --git a/src/kernel/dev/v86.c b/src/kernel/dev/v86.c index db84a4f..1838e92 100644 --- a/src/kernel/dev/v86.c +++ b/src/kernel/dev/v86.c @@ -117,6 +117,8 @@ void v86_run_bios_int(uint32_t int_no) { } void v86_thread_main(void* z) { + enter_critical(CL_NOSWITCH); + if (z) v86_retval = true; wait_on(current_thread); -- cgit v1.2.3