ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Whitespace

This commit is contained in:
Norman Feske 2012-11-24 18:27:03 +01:00
parent 1cc1308a80
commit f2e47ef9f4
2 changed files with 13 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
base-nova/include/nova/util.h
View File

@ -28,6 +28,7 @@ inline void nova_die(const char * text = 0)
asm volatile ("ud2a" : : "a"(text));
}
inline void request_event_portal(Genode::Native_capability cap,
Genode::addr_t exc_base, Genode::addr_t event)
{
@ -51,5 +52,4 @@ inline void request_event_portal(Genode::Native_capability cap,
utcb->crd_rcv = orig_crd;
}
#endif /* _NOVA__INCLUDE__UTIL_H_ */