ehmry/genode-ehmry
ehmry
/
genode-ehmry
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Clang: no null references

This commit is contained in:
Ehmry - 2019-09-16 17:00:32 +02:00
parent 28724236b2
commit b7a10296a1
7 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base-linux/src/core/include/region_map_component.h
View File

@ -45,7 +45,7 @@ class Genode::Region_map_component : public Rpc_object<Region_map>,
public:
Region_map_component(Rpc_entrypoint &, Allocator &, Pager_entrypoint &,
Region_map_component(Rpc_entrypoint &, Allocator &, Pager_entrypoint *,
addr_t, size_t, Session::Diag) { }
void upgrade_ram_quota(size_t) { }

2
repos/base/src/core/include/core_env.h
View File

@ -72,7 +72,7 @@ class Genode::Core_env : public Env_deprecated, Noncopyable
Ram_dataspace_factory::Virt_range { platform().vm_start(),
platform().vm_size() },
_region_map,
*((Pager_entrypoint *)nullptr),
nullptr,
"" /* args to native PD */,
platform_specific().core_mem_alloc())
{

2
repos/base/src/core/include/pd_root.h
View File

@ -70,7 +70,7 @@ class Genode::Pd_root : public Genode::Root_component<Genode::Pd_session_compone
_phys_alloc,
_phys_range_from_args(args),
_virt_range_from_args(args),
_local_rm, _pager_ep, args,
_local_rm, &_pager_ep, args,
_core_mem);
}

2
repos/base/src/core/include/pd_session_component.h
View File

@ -124,7 +124,7 @@ class Genode::Pd_session_component : public Session_object<Pd_session>
Phys_range phys_range,
Virt_range virt_range,
Region_map &local_rm,
Pager_entrypoint &pager_ep,
Pager_entrypoint *pager_ep,
char const *args,
Range_allocator &core_mem)
:

4
repos/base/src/core/include/region_map_component.h
View File

@ -305,7 +305,7 @@ class Genode::Region_map_component : private Weak_object<Region_map_component>,
for fault resolution */
List<Rm_client> _clients { }; /* list of RM clients using this region map */
Lock _lock { }; /* lock for map and list */
Pager_entrypoint &_pager_ep;
Pager_entrypoint *_pager_ep;
Rm_dataspace_component _ds; /* dataspace representation of region map */
Dataspace_capability _ds_cap;
@ -375,7 +375,7 @@ class Genode::Region_map_component : private Weak_object<Region_map_component>,
*/
Region_map_component(Rpc_entrypoint &ep,
Allocator &md_alloc,
Pager_entrypoint &pager_ep,
Pager_entrypoint *pager_ep,
addr_t vm_start,
size_t vm_size,
Session::Diag diag);

2
repos/base/src/core/include/rm_session_component.h
View File

@ -76,7 +76,7 @@ class Genode::Rm_session_component : public Rpc_object<Rm_session>
try {
Region_map_component *rm =
new (_md_alloc)
Region_map_component(_ep, _md_alloc, _pager_ep, 0, size,
Region_map_component(_ep, _md_alloc, &_pager_ep, 0, size,
Diag{false});
_region_maps.insert(rm);

2
repos/base/src/core/region_map_component.cc
View File

@ -644,7 +644,7 @@ _type_deduction_helper(Dataspace_capability cap) { return cap; }
Region_map_component::Region_map_component(Rpc_entrypoint &ep,
Allocator &md_alloc,
Pager_entrypoint &pager_ep,
Pager_entrypoint *pager_ep,
addr_t vm_start,
size_t vm_size,
Session::Diag diag)