Stefan Kalkowski 0971b47b11 Use placement new for Heap::Dataspace (fix #203) ...

This commit introduces placement new/delete, and a constructor for
Heap::Dataspace objects. It fixes the usage of uninitialized Dataspace
objects when expanding the heap that lead to problems in conjunction
with Native_capability smart-pointer in base-foc. Please refer to
issue #203.

2012-05-10 19:04:35 +02:00

..

allocator_avl.h

Exceptions at construction time of dynamic objects

2012-01-26 21:19:30 +01:00

allocator_guard.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

allocator.h

Exceptions at construction time of dynamic objects

2012-01-26 21:19:30 +01:00

blocking.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

cancelable_lock.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

capability.h

Use OO-means to copy capabilities (fix #182)

2012-05-09 20:50:56 +02:00

child.h

Accessor to obtain parent cap of child

2012-02-22 15:56:45 +01:00

connection.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

console.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

cpu_state.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

crt0.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

elf.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

env.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

errno.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

exception.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

heap.h

Use placement new for Heap::Dataspace (fix #203)

2012-05-10 19:04:35 +02:00

ipc_generic.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

ipc.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

lock_guard.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

lock.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

native_capability.h

Replace 'Native_capability::copy_to' by accessor

2012-03-28 09:58:51 +02:00

object_pool.h

Fix a compile error reported by GCC 4.7.0

2012-03-30 19:55:56 +02:00

pager.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

platform_env.h

Add an 'executable' flag to 'Rm_session::attach()'

2012-04-20 11:21:19 +02:00

printf.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

process.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

rpc_args.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

rpc_client.h

Support const RPC functions with no arguments

2012-01-27 16:54:05 +01:00

rpc_server.h

Use OO-means to copy capabilities (fix #182)

2012-05-09 20:50:56 +02:00

rpc.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

semaphore.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

service.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

signal.h

Validate liveliness of signal contexts

2012-03-21 21:37:15 +01:00

slab.h

Exceptions at construction time of dynamic objects

2012-01-26 21:19:30 +01:00

sleep.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

snprintf.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

stdint.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

sync_allocator.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

thread_state.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

thread.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

tslab.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00