From 54bcc0b3b45da40f11c92deb868d76fb2785af90 Mon Sep 17 00:00:00 2001
From: ranvd <jordan1415926535@gmail.com>
Date: Wed, 26 Jun 2024 00:15:54 +0800
Subject: [PATCH] Rename `hart_number` to `hart_count`

---
 main.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/main.c b/main.c
index 0adaf1c..e49363d 100644
--- a/main.c
+++ b/main.c
@@ -516,9 +516,9 @@ static int semu_start(int argc, char **argv)
     char *dtb_file;
     char *initrd_file;
     char *disk_file;
-    int hart_number = 1;
+    int hart_count = 1;
     handle_options(argc, argv, &kernel_file, &dtb_file, &initrd_file,
-                   &disk_file, &hart_number);
+                   &disk_file, &hart_count);
 
     /* Initialize the emulator */
     emu_state_t emu;
@@ -560,7 +560,7 @@ static int semu_start(int argc, char **argv)
 
     /* Set up RISC-V hart */
     vm_t vm;
-    vm.hart_number = hart_number;
+    vm.hart_number = hart_count;
     vm.hart = malloc(sizeof(hart_t *) * vm.hart_number);
     for (uint32_t i = 0; i < vm.hart_number; i++) {
         hart_t *newhart = malloc(sizeof(hart_t));