Searched defs:l4_umword_t (Results 1 – 5 of 5) sorted by relevance
| /l4re-core-master/moe/server/src/ |
| A D | log.h | 43 int op_bind(L4::Icu::Rights, l4_umword_t, in op_bind() argument
47 int op_unbind(L4::Icu::Rights, l4_umword_t, in op_unbind() argument
52 int op_msi_info(L4::Icu::Rights, l4_umword_t, l4_uint64_t, in op_msi_info() argument
55 int op_mask(L4::Icu::Rights, l4_umword_t) in op_mask() argument
57 int op_unmask(L4::Icu::Rights, l4_umword_t) in op_unmask() argument
59 int op_set_mode(L4::Icu::Rights, l4_umword_t, l4_umword_t) in op_set_mode() argument
|
| /l4re-core-master/sigma0/server/src/ |
| A D | ioports_none.cc | 22 void handle_io_page_fault(l4_umword_t /*t*/, l4_utcb_t * /*utcb*/, Answer *a) in handle_io_page_fault() argument
|
| A D | memmap.cc | 55 void new_client(l4_umword_t, Answer *a) in new_client() argument
|
| /l4re-core-master/l4sys/include/ |
| A D | l4int.h | 51 typedef unsigned long l4_umword_t; /**< Unsigned machine word. typedef
|
| /l4re-core-master/libkproxy/lib/src/ |
| A D | factory_svr.cc | 115 int Factory_svr::factory_dispatch(l4_umword_t, L4::Ipc::Iostream &ios) in factory_dispatch() argument
|
Completed in 5 milliseconds