c405ef53d2
- seL4_TCB_Configure no longer takes a fault endpoint. - seL4_TCB_SetSpace takes a cap in the callers cspace for the fault endpoint, not the target tcbs. - seL4_TCB_SetSchedParams now also takes a fault endpoint as above. This change installs the fault endpoint cap into the tcb cnode first validating it. This means either of the functions that set it will now return an error if the cap is not either a null cap or an endpoint with send and grant rights. Significantly, the cap passed to the function should be in the callers cspace, not the target tcbs. |
||
|---|---|---|
| .. | ||
| boot.h | ||
| cspace.h | ||
| faulthandler.h | ||
| sporadic.h | ||
| stack.h | ||
| thread.h | ||
| traps.h | ||
| vspace.h | ||