mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-18 23:28:29 +00:00
@ -45,7 +45,7 @@ class Core::Platform : public Platform_generic
|
||||
/*
|
||||
* Shortcut for the type of allocator instances for physical resources
|
||||
*/
|
||||
typedef Synced_range_allocator<Allocator_avl> Phys_allocator;
|
||||
using Phys_allocator = Synced_range_allocator<Allocator_avl>;
|
||||
|
||||
char _core_label[1]; /* to satisfy _core_pd */
|
||||
Platform_pd *_core_pd = nullptr; /* core protection domain object */
|
||||
|
@ -19,7 +19,7 @@
|
||||
|
||||
namespace Genode {
|
||||
|
||||
typedef Fiasco::l4_threadid_t Rpc_destination;
|
||||
using Rpc_destination = Fiasco::l4_threadid_t;
|
||||
|
||||
static inline Rpc_destination invalid_rpc_destination()
|
||||
{
|
||||
|
Reference in New Issue
Block a user