@@ -48,7 +48,7 @@ void bootmain (void) {
amd64_hpet_init ();
mm_init2 ();
smp_init ();
proc_init ();
The note is not visible to the blocked user.