Martin Stein 1a7efc0df1 os: helper Attached_mmio ...

Genode::Attached_mmio is the fusion of Genode::Attached_io_mem_dataspace
and Genode::Mmio.

Ref #706

2013-05-22 18:32:05 +02:00

..

alarm.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

attached_io_mem_dataspace.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

attached_mmio.h

os: helper Attached_mmio

2013-05-22 18:32:05 +02:00

attached_ram_dataspace.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

attached_rom_dataspace.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

child_policy_dynamic_rom.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

config.h

Make 'config()' convenience utility more robust

2013-01-15 10:18:11 +01:00

irq_activation.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

packet_stream.h

check wakeup situation in rx() after dequeuing

2013-04-26 16:48:54 +02:00

path.h

Add const version of 'Path::base' accessor

2013-01-12 21:32:07 +01:00

ring_buffer.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

session_policy.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

slave.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

static_root.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

synced_interface.h

Utility for synchronizing interface calls

2013-05-17 12:04:45 +02:00

timed_semaphore.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00