ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-03-11 23:14:13 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

L4Linux: fix conversion bug (fix #409)

Browse Source
This commit is contained in:
Stefan Kalkowski 2012-10-15 11:55:20 +02:00 committed by Norman Feske
parent 17dc60eb66
commit 81e0bfefb6
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ports-foc/src/lib/l4lx/include/vcpu.h
View File

@ -35,7 +35,7 @@ namespace L4lx {
{ {
private: private:
void (*_func)(void *data); L4_CV void (*_func)(void *data);
unsigned long _data; unsigned long _data;
Genode::addr_t _vcpu_state; Genode::addr_t _vcpu_state;
Timer::Connection _timer; Timer::Connection _timer;
@ -58,7 +58,7 @@ namespace L4lx {
public: public:
Vcpu(const char *str, Vcpu(const char *str,
void (*func)(void *data), L4_CV void (*func)(void *data),
unsigned long *data, unsigned long *data,
Genode::size_t stack_size, Genode::size_t stack_size,
Genode::addr_t vcpu_state, Genode::addr_t vcpu_state,