diff options
Diffstat (limited to 'include/arch/tcb.h')
| -rw-r--r-- | include/arch/tcb.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/include/arch/tcb.h b/include/arch/tcb.h index 4e82ab1..115f49d 100644 --- a/include/arch/tcb.h +++ b/include/arch/tcb.h @@ -33,6 +33,13 @@ void tcb_assign(struct tcb *t); void setup_rpc_stack(struct tcb *t); /** + * Free memory backing rpc stack. + * + * @param t Thred whose RPC stack should be destroyed. + */ +void destroy_rpc_stack(struct tcb *t); + +/** * Maximum size of one individual RPC stack instance. * * @return Max size of one individual RPC stack instance. |