container_destroy

Destroys a container.

Signature

Status container_destroy(
	Capref	cont )

Arguments

cont - Specifies the container to be destroyed.

Semantics

This call destroys the container referenced by the capref cont. Any loci executing within the container are forced to perform a return from invocation. This may result in the termination of some loci. Any mappings stemming from the container are removed. If the container has a manager, it is notified that the container is being destroyed. Finally, all permission groups associated with the container are deleted which logically terminates its existence. Any outstanding capabilities referring to the container are rendered invalid.

Status

Fails if cont is an invalid capref.

Fails if cont does not refer to a container.

Warnings

The destruction of a container causes the removal of any mappings stemming from the container. This happens asynchronously with respect to the execution of loci which may be executing inside or using data within a mapped region. The effects of removing such mappings is unpredictable since the affected loci are not notified.

container_destroy