denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

base/cache.h: rename Cache_attribute to Cache

Browse Source 
The short name is better because the type will become prominently
visible at the API.

Issue #2243
This commit is contained in:
Norman Feske
2021-04-07 19:13:32 +02:00
parent 3ed8df9089
commit 468e7a825c
76 changed files with 226 additions and 237 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
repos/ports/src/app/gdb_monitor/pd_session_component.h
View File

@@ -128,8 +128,8 @@ class Gdb_monitor::Pd_session_component : public Rpc_object<Pd_session>
Cap_quota cap_quota() const override { return _pd.cap_quota(); }
Cap_quota used_caps() const override { return _pd.used_caps(); }
Ram_dataspace_capability alloc(size_t amount, Cache_attribute cached) override {
return _pd.alloc(amount, cached); }
Ram_dataspace_capability alloc(size_t amount, Cache cache) override {
return _pd.alloc(amount, cache); }
void free(Ram_dataspace_capability ds) override { _pd.free(ds); }