From bf3dd9d7aede909106a7579fef1bef6067e3f2f5 Mon Sep 17 00:00:00 2001 From: Ivan-Velickovic Date: Fri, 22 Sep 2023 23:10:30 -0400 Subject: [PATCH] libvmm: remove old TODO --- src/arch/aarch64/tcb.c | 1 - 1 file changed, 1 deletion(-) diff --git a/src/arch/aarch64/tcb.c b/src/arch/aarch64/tcb.c index 4ce3d5a44..97d8f2bda 100644 --- a/src/arch/aarch64/tcb.c +++ b/src/arch/aarch64/tcb.c @@ -8,7 +8,6 @@ #include "util.h" #include "tcb.h" -// @ivanv: should we have a header-only file or have tcb.c and vcpu.c as well? void tcb_print_regs(size_t vcpu_id) { /* * While we are potentially doing an extra system call in order to read the