Shared-memory helper functions.

Helper functions for shared-memory connections. More...

Functions
L4_CV void *	l4ore_get_send_area (int handle)
	Get address of the send dataspace.
L4_CV void *	l4ore_get_recv_area (int handle)
	Get address of the receive dataspace.
L4_CV void	l4ore_packet_to_pool (void *addr)
	Return packet at address addr to the DSI pool.

---

Detailed Description

Helper functions for shared-memory connections.

---

Function Documentation

L4_CV void* l4ore_get_recv_area

(

int

handle

)

Get address of the receive dataspace.

Parameters:

handle

connection handle

Definition at line 35 of file dummy_dsi.c.

L4_CV void* l4ore_get_send_area

(

int

handle

)

Get address of the send dataspace.

Parameters:

handle

connection handle

Definition at line 30 of file dummy_dsi.c.

L4_CV void l4ore_packet_to_pool

(

void *

addr

)

Return packet at address addr to the DSI pool.

Parameters:

addr

packet address

Definition at line 37 of file dsi.c.