make sure that BOOT_TIME is initialized

stlankes · stlankes · commit f3eb367efc1a · 2025-05-02T21:13:03.000+02:00
diff --git a/src/arch/aarch64/kernel/systemtime.rs b/src/arch/aarch64/kernel/systemtime.rs
@@ -54,6 +54,8 @@ pub fn init() {
 			let current_ticks = super::processor::get_timer_ticks();
 			BOOT_TIME.set(micros - current_ticks).unwrap();
 			info!("Hermit booted on {boot_time}");
+
+			return;
 		}
 		_ => {
 			let dtb = unsafe {
@@ -109,6 +111,8 @@ pub fn init() {
 			}
 		}
 	};
+
+	BOOT_TIME.set(0).unwrap();
 }
 
 /// Returns the current time in microseconds since UNIX epoch.

Original file line number	Diff line number	Diff line change
`@@ -54,6 +54,8 @@ pub fn init() {`
`54`	`54`	`let current_ticks = super::processor::get_timer_ticks();`
`55`	`55`	`BOOT_TIME.set(micros - current_ticks).unwrap();`
`56`	`56`	`info!("Hermit booted on {boot_time}");`
	`57`	`+`
	`58`	`+ return;`
`57`	`59`	`}`
`58`	`60`	`_ => {`
`59`	`61`	`let dtb = unsafe {`
`@@ -109,6 +111,8 @@ pub fn init() {`
`109`	`111`	`}`
`110`	`112`	`}`
`111`	`113`	`};`
	`114`	`+`
	`115`	`+ BOOT_TIME.set(0).unwrap();`
`112`	`116`	`}`
`113`	`117`
`114`	`118`	`/// Returns the current time in microseconds since UNIX epoch.`