1 files changed, 1 insertions, 1 deletions
diff --git a/src/tcb.c b/src/tcb.c
index 06f49db..67e9448 100644
--- a/src/tcb.c
+++ b/src/tcb.c
@@ -344,7 +344,7 @@ void use_tcb(struct tcb *t)
 	use_vmem(t->rpc.vmem);
 }
 
-struct tcb *get_tcb(id_t tid)
+inline struct tcb *get_tcb(id_t tid)
 {
 	assert(tcbs);