update

[l4.git] / l4 / pkg / sigma0 / server / src / ioports_none.cc

diff --git a/l4/pkg/sigma0/server/src/ioports_none.cc b/l4/pkg/sigma0/server/src/ioports_none.cc
index afca8a84acf1332dedea504f22c2d1501734efab..7fc7d41251d0eced0754cc1d0d65ffb976c8ddf8 100644 (file)
--- a/l4/pkg/sigma0/server/src/ioports_none.cc
+++ b/l4/pkg/sigma0/server/src/ioports_none.cc
@@ -21,7 +21,7 @@ void init_io_ports(l4_kernel_info_t * /*info*/)
 
 void handle_io_page_fault(l4_umword_t /*t*/, l4_utcb_t * /*utcb*/, Answer *a)
 {
-  a->clear();
+  a->error(L4_EINVAL);
 }
 
 void dump_io_ports()