d4d1613f6c
Allows architectures to define their own operations for post deletion of capabilities. The Arch_ variants could be extended to Mode_ if desired in the future, but there is no need to do this until it is necessary. |
||
|---|---|---|
| .. | ||
| cap.h | ||
| cnode.h | ||
| endpoint.h | ||
| interrupt.h | ||
| notification.h | ||
| objecttype.h | ||
| structures.h | ||
| structures_32.bf | ||
| structures_64.bf | ||
| tcb.h | ||
| untyped.h | ||