diff --git a/repos/base/src/core/ram_session_component.cc b/repos/base/src/core/ram_session_component.cc index d49170f67..35d4605a9 100644 --- a/repos/base/src/core/ram_session_component.cc +++ b/repos/base/src/core/ram_session_component.cc @@ -196,7 +196,7 @@ Ram_dataspace_capability Ram_session_component::alloc(size_t ds_size, Cache_attr ds = new (&_ds_slab) Dataspace_component(ds_size, (addr_t)ds_addr, cached, true, this); } catch (Allocator::Out_of_memory) { - warning("Could not allocate metadata"); + warning("could not allocate metadata"); /* cleanup unneeded resources */ _ram_alloc->free(ds_addr); @@ -303,7 +303,7 @@ Ram_session_component::~Ram_session_component() _free_ds(ds->cap())); if (_payload != 0) - warning("Remaining payload of ", _payload, " in ram session to destroy"); + warning("remaining payload of ", _payload, " in ram session to destroy"); if (!_ref_account) return; diff --git a/repos/base/src/lib/base/sliced_heap.cc b/repos/base/src/lib/base/sliced_heap.cc index e9a5647d1..f979e8032 100644 --- a/repos/base/src/lib/base/sliced_heap.cc +++ b/repos/base/src/lib/base/sliced_heap.cc @@ -50,11 +50,11 @@ bool Sliced_heap::alloc(size_t size, void **out_addr) ds_cap = _ram_session.alloc(size); block = _region_map.attach(ds_cap); } catch (Region_map::Attach_failed) { - error("Could not attach dataspace to local address space"); + error("could not attach dataspace to local address space"); _ram_session.free(ds_cap); return false; } catch (Ram_session::Alloc_failed) { - error("Could not allocate dataspace with size %lu", size); + error("could not allocate dataspace with size ", size); return false; }