cap_delete.c File Reference

Kernel capability deletion-related operations. More...

Functions
errval_t	caps_delete_last (struct cte *cte, struct cte *ret_ram_cap)
	Delete the last copy of a cap in the entire system. More...
	STATIC_ASSERT (48==ObjType_Num,"Knowledge of all RAM-backed cap types")
	Cleanup the last cap copy for an object and the object itself.
errval_t	caps_delete_foreigns (struct cte *cte)
	Delete all copies of a foreign cap.
errval_t	caps_mark_revoke (struct capability *base, struct cte *revoked)
	Mark capabilities for a revoke operation. More...

Detailed Description

Kernel capability deletion-related operations.

Function Documentation

errval_t caps_delete_last	(	struct cte *	cte,
		struct cte *	ret_ram_cap
	)

Delete the last copy of a cap in the entire system.

errval_t caps_mark_revoke	(	struct capability *	base,
		struct cte *	revoked
	)

Mark capabilities for a revoke operation.

Parameters

base	The data for the capability being revoked
revoked	The revoke target if it is on this core. This specific capability copy will not be marked. If supplied, is_copy(base, &revoked->cap) must hold.

Returns

• CAP_NOT_FOUND if no copies or desendants are present on this core.
• SYS_ERR_OK otherwise.