diff options
| -rw-r--r-- | kern/xcall.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/kern/xcall.c b/kern/xcall.c index 74a5bcbe..64c8f961 100644 --- a/kern/xcall.c +++ b/kern/xcall.c @@ -130,7 +130,8 @@ xcall_setup(void) INIT_OP_DEFINE(xcall_setup, INIT_OP_DEP(cpu_mp_probe, true), INIT_OP_DEP(thread_bootstrap, true), - INIT_OP_DEP(spinlock_setup, true)); + INIT_OP_DEP(spinlock_setup, true), + INIT_OP_DEP(syscnt_setup, true)); void xcall_call(xcall_fn_t fn, void *arg, unsigned int cpu) |