mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-22 03:55:26 +00:00
parent
8c7d34ff21
commit
1e0d843464
@ -47,20 +47,13 @@ namespace Libc {
|
||||
MAX_CHUNK_SIZE = 1024*1024
|
||||
};
|
||||
|
||||
class Dataspace : public List<Dataspace>::Element
|
||||
struct Dataspace : List<Dataspace>::Element
|
||||
{
|
||||
public:
|
||||
Ram_dataspace_capability cap;
|
||||
void *local_addr;
|
||||
|
||||
Ram_dataspace_capability cap;
|
||||
void *local_addr;
|
||||
|
||||
Dataspace(Ram_dataspace_capability c, void *a)
|
||||
: cap(c), local_addr(a) {}
|
||||
|
||||
inline void * operator new(__SIZE_TYPE__, void* addr) {
|
||||
return addr; }
|
||||
|
||||
inline void operator delete(void*) { }
|
||||
Dataspace(Ram_dataspace_capability c, void *a)
|
||||
: cap(c), local_addr(a) {}
|
||||
};
|
||||
|
||||
class Dataspace_pool : public List<Dataspace>
|
||||
|
@ -77,7 +77,7 @@ int Libc::Mem_alloc_impl::Dataspace_pool::expand(size_t size, Range_allocator *a
|
||||
}
|
||||
|
||||
/* add dataspace information to list of dataspaces */
|
||||
Dataspace *ds = new (ds_addr) Dataspace(new_ds_cap, local_addr);
|
||||
Dataspace *ds = construct_at<Dataspace>(ds_addr, new_ds_cap, local_addr);
|
||||
insert(ds);
|
||||
|
||||
return 0;
|
||||
|
Loading…
x
Reference in New Issue
Block a user