ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-26 08:51:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

core: fix compiler warnings

Browse Source
This commit is contained in:
Christian Helmuth 2017-05-02 16:55:08 +02:00
parent 01e8f7ea3d
commit f41d8d6b14
3 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
repos/base-foc/src/core/include/map_local.h
View File

@ -124,11 +124,11 @@ namespace Genode {
}
static inline void unmap_local(addr_t local_base, size_t num_pages)
static inline void unmap_local(addr_t const local_base, size_t const num_pages)
{
using namespace Fiasco;
size_t size = num_pages << get_page_size_log2();
size_t const size = num_pages << get_page_size_log2();
addr_t addr = local_base;
/*
@ -138,6 +138,7 @@ namespace Genode {
l4_task_unmap(L4_BASE_TASK_CAP,
l4_fpage(addr, L4_LOG2_PAGESIZE, L4_FPAGE_RW),
L4_FP_OTHER_SPACES);
l4_cache_dma_coherent(local_base, local_base + size);
}
}

2
repos/base-foc/src/lib/base/ipc.cc
View File

@ -242,8 +242,6 @@ static l4_msgtag_t copy_msgbuf_to_utcb(Msgbuf_base &snd_msg,
for (unsigned i = 0; i < num_caps; i++) {
Native_capability const &cap = snd_msg.cap(i);
/* store badge as normal message word */
*msg_words++ = caps[i].valid ? caps[i].badge : INVALID_BADGE;

5
repos/base/src/core/pager_ep.cc
View File

@ -35,15 +35,16 @@ void Pager_entrypoint::entry()
Pool::apply(_pager.badge(), [&] (Pager_object *obj) {
if (obj) {
if (_pager.exception())
if (_pager.exception()) {
obj->submit_exception_signal();
else
} else {
/* send reply if page-fault handling succeeded */
reply_pending = !obj->pager(_pager);
if (!reply_pending)
warning("page-fault, ", *obj,
" ip=", Hex(_pager.fault_ip()),
" pf-addr=", Hex(_pager.fault_addr()));
}
} else {
/*