diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/arch/tcb.h | 7 | ||||
| -rw-r--r-- | include/kmi/tcb.h | 2 |
2 files changed, 8 insertions, 1 deletions
diff --git a/include/arch/tcb.h b/include/arch/tcb.h index f4c80c6..af12e0b 100644 --- a/include/arch/tcb.h +++ b/include/arch/tcb.h @@ -25,4 +25,11 @@ */ void tcb_assign(struct tcb *t); +void setup_rpc_stack(struct tcb *t); +size_t max_rpc_size(); + +vm_t rpc_position(struct tcb *t); +void mark_rpc_valid(struct tcb *t, vm_t top); +void mark_rpc_invalid(struct tcb *t, vm_t bottom); + #endif /* KMI_ARCH_TCB_H */ diff --git a/include/kmi/tcb.h b/include/kmi/tcb.h index 4f2eb1b..ba71dd3 100644 --- a/include/kmi/tcb.h +++ b/include/kmi/tcb.h @@ -99,7 +99,7 @@ struct tcb { vm_t regs; /** Arch-specific data. */ - struct arch_tcbd tcbd; + struct arch_tcbd arch; /** Memory mapping data. */ struct mem_region_root sp_r; |