message: add trace messages to determine the value of cr0/cr4
diff: @@ -43,6 +43,7 @@ use crate::kernel_message_buffer;
  #[cfg(feature = "newlib")]
  use core::slice;
  use core::{intrinsics, ptr};
  +use x86::controlregs::{cr0,cr4};
  const SERIAL_PORT_BAUDRATE: u32 = 115_200;
  @@ -306,6 +307,7 @@ pub fn boot_processor_init() {
  irq::install();
  processor::detect_frequency();
  processor::print_information();
  + trace!("Cr0: 0x{:x}, Cr4: 0x{:x}", unsafe { cr0() }, unsafe { cr4() });
  systemtime::init();
  if environment::is_single_kernel() {
  @@ -344,6 +346,7 @@ pub fn application_processor_init() {
  idt::install();
  apic::init_x2apic();
  apic::init_local_apic();
  + trace!("Cr0: 0x{:x}, Cr4: 0x{:x}", unsafe { cr0() }, unsafe { cr4() });
  irq::enable();
  finish_processor_init();
  }
  