Stefan Kalkowski ae8cf5f44d Rename tid() to dst() in Native_capability. ...

As suggested by Norman in the discussion of issue #145, this commit
renames the tid() accessor in Native_capability to dst().

2012-03-10 15:52:19 +01:00

..

ipc_msgbuf.h

Bump year in copyright headers to 2012

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

local_interface.h

Rename tid() to dst() in Native_capability.

2012-03-10 15:52:19 +01:00

native_types.h

Unify policy name for Native_capability_tpl.

2012-03-10 15:52:13 +01:00

pager.h

Bump year in copyright headers to 2012

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

platform_env.h

Let reload_parent_cap take the new cap as agument

2012-02-23 10:42:03 +01:00