invocations_arch.h File Reference

Low-level capability invocations. More...

Functions
	STATIC_ASSERT (ObjType_Num< 0xFFFF,"retype invocation argument packing does not truncate enum objtype")
	Retype (part of) a capability. More...

Detailed Description

Low-level capability invocations.

Function Documentation

STATIC_ASSERT

(

)

Retype (part of) a capability.

Retypes (part of) CPtr 'cap' into 'objsize'd caps of type 'newtype' and places them into slots starting at slot 'slot' in the CNode, addressed by 'to', with 'bits' address bits of 'to' valid.

See also cap_retype(), which wraps this.

Parameters

root	Capability of the source cspace root CNode to invoke
src_cspace	Source cspace cap address in our cspace.
cap	Address of cap to retype in source cspace.
offset	Offset into cap to retype
newtype	Kernel object type to retype to.
objsize	Size of created objects, for variable-sized types
count	Number of objects to create
to_cspace	Destination cspace cap address in our cspace
to	Address of CNode cap in destination cspcae to place retyped caps into.
to_level	Level/depth of CNode cap in destination cspace
slot	Slot in CNode cap to start placement.

Returns

Error code