d8ae122cc8
Changes finaliseCap to return a generic definition of cleanup information that needs to be done, instead of just encoding an IRQ number. The post deletion information is encoded as a `cap_t` due to the capability type already being a union of all the possible information. Aside from providing a properly generic mechanism the motivation is to support a similar cleanup phase for I/O ports in the future. |
||
|---|---|---|
| .. | ||
| cap.h | ||
| cnode.h | ||
| endpoint.h | ||
| interrupt.h | ||
| notification.h | ||
| objecttype.h | ||
| structures.h | ||
| structures_32.bf | ||
| structures_64.bf | ||
| tcb.h | ||
| untyped.h | ||