From 7cac7b801d63731575e422735f87bf74355a4c76 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Wed, 5 Feb 2025 12:56:22 +0100 Subject: [PATCH] nova: remove nova_die from spin_lock Issue #5443 --- repos/base-nova/src/include/base/internal/spin_lock.h | 4 ---- 1 file changed, 4 deletions(-) diff --git a/repos/base-nova/src/include/base/internal/spin_lock.h b/repos/base-nova/src/include/base/internal/spin_lock.h index ee5702ac6e9..0ad7f70d937 100644 --- a/repos/base-nova/src/include/base/internal/spin_lock.h +++ b/repos/base-nova/src/include/base/internal/spin_lock.h @@ -40,10 +40,6 @@ static inline void spinlock_lock(volatile T *lock_variable) unsigned help_counter = 0; - /* sanity check that ec_sel fits into the lock_variable */ - if (tid >= (1 << (sizeof(*lock_variable) * 8 - RESERVED_BITS))) - nova_die(); - if (myself) { Nova::Utcb * utcb = reinterpret_cast(myself->utcb()); help_counter = utcb->tls & COUNTER_MASK;