Christian Helmuth 4017e592f0 Compile PDBG() in release mode too ...

Formerly, GENODE_RELEASE just undef'd PDBG() which concealed bugs in
places PDBG was used, e.g., do to API changes. Unfortunately,
desparately disabling GENODE_RELEASE during bug hunt sometimes
introduced new errors. Now, PDBG is just a branch not taken but seen by
the compiler, which is able to produce warnings/errors when the API is
changed.

Fixes #378.

2012-10-04 14:37:18 +02:00

..

allocator_avl.h

Make first block of allocator_avl 64bit fit

2012-09-18 16:47:59 +02: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

Support upgrading of child-environment resources

2012-08-16 10:03:06 +02: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

Set ERR_INVALID_OBEJCT if call failed to server

2012-08-10 10:57:54 +02: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

Allocate first heap requests from bss

2012-09-24 09:17:58 +02:00

printf.h

Compile PDBG() in release mode too

2012-10-04 14:37:18 +02: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

Bug fix: null ptr dereference in base/semaphore

2012-07-04 14:56:44 +02: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

Feature: add synchronized allocator

2012-07-04 14:56:47 +02:00

thread_state.h

Bump year in copyright headers to 2012

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

thread.h

Move context area definition to native_type

2012-09-24 09:17:54 +02:00

tslab.h

Bump year in copyright headers to 2012

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