diff --git a/driver/others/init.c b/driver/others/init.c
index 4a6f0aae8..f6924d5f4 100644
--- a/driver/others/init.c
+++ b/driver/others/init.c
@@ -447,6 +447,9 @@ static void disable_hyperthread(void) {
 
     //When the shared cpu are in different element of share & avail array, this may be a bug.
     for (i = 0; i < count ; i++){
+
+      share[i] &= common->avail[i];
+
       if (popcount(share[i]) > 1) {
       
 #ifdef DEBUG