diff options
Diffstat (limited to 'arch/riscv64/include/tcb.h')
| -rw-r--r-- | arch/riscv64/include/tcb.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/arch/riscv64/include/tcb.h b/arch/riscv64/include/tcb.h index a804175..f0cce37 100644 --- a/arch/riscv64/include/tcb.h +++ b/arch/riscv64/include/tcb.h @@ -16,7 +16,11 @@ struct arch_tcbd { /** Extra scratch register. */ long scratch; + /** RPC stack page table leaf node. */ struct vmem *rpc_leaf; + + /** Index into \p rpc_leaf with the lowest accessed page so far in a + * certain context. */ int rpc_idx; }; |