change static type

04_zero_overhead_abstraction/README.md

@@ -165,7 +165,7 @@ diff -uNr 03_hacky_hello_world/src/bsp/raspberrypi/cpu.rs 04_zero_overhead_abstr
 +//--------------------------------------------------------------------------------------------------
 +
 +/// Used by `arch` code to find the early boot core.
-+pub const BOOT_CORE_ID: usize = 0;
++pub const BOOT_CORE_ID: u64 = 0;
 
 diff -uNr 03_hacky_hello_world/src/bsp/raspberrypi/link.ld 04_zero_overhead_abstraction/src/bsp/raspberrypi/link.ld
 --- 03_hacky_hello_world/src/bsp/raspberrypi/link.ld

04_zero_overhead_abstraction/src/bsp/raspberrypi/cpu.rs

@@ -9,4 +9,4 @@
 //--------------------------------------------------------------------------------------------------
 
 /// Used by `arch` code to find the early boot core.
-pub const BOOT_CORE_ID: usize = 0;
+pub const BOOT_CORE_ID: u64 = 0;

05_safe_globals/src/bsp/raspberrypi/cpu.rs

@@ -9,4 +9,4 @@
 //--------------------------------------------------------------------------------------------------
 
 /// Used by `arch` code to find the early boot core.
-pub const BOOT_CORE_ID: usize = 0;
+pub const BOOT_CORE_ID: u64 = 0;

06_drivers_gpio_uart/src/bsp/raspberrypi/cpu.rs

@@ -9,4 +9,4 @@
 //--------------------------------------------------------------------------------------------------
 
 /// Used by `arch` code to find the early boot core.
-pub const BOOT_CORE_ID: usize = 0;
+pub const BOOT_CORE_ID: u64 = 0;

07_uart_chainloader/src/bsp/raspberrypi/cpu.rs

@@ -9,4 +9,4 @@
 //--------------------------------------------------------------------------------------------------
 
 /// Used by `arch` code to find the early boot core.
-pub const BOOT_CORE_ID: usize = 0;
+pub const BOOT_CORE_ID: u64 = 0;

08_timestamps/src/bsp/raspberrypi/cpu.rs

@@ -9,4 +9,4 @@
 //--------------------------------------------------------------------------------------------------
 
 /// Used by `arch` code to find the early boot core.
-pub const BOOT_CORE_ID: usize = 0;
+pub const BOOT_CORE_ID: u64 = 0;

09_hw_debug_JTAG/src/bsp/raspberrypi/cpu.rs

@@ -9,4 +9,4 @@
 //--------------------------------------------------------------------------------------------------
 
 /// Used by `arch` code to find the early boot core.
-pub const BOOT_CORE_ID: usize = 0;
+pub const BOOT_CORE_ID: u64 = 0;

10_privilege_level/src/bsp/raspberrypi/cpu.rs

@@ -9,4 +9,4 @@
 //--------------------------------------------------------------------------------------------------
 
 /// Used by `arch` code to find the early boot core.
-pub const BOOT_CORE_ID: usize = 0;
+pub const BOOT_CORE_ID: u64 = 0;

11_virtual_mem_part1_identity_mapping/src/bsp/raspberrypi/cpu.rs

@@ -9,4 +9,4 @@
 //--------------------------------------------------------------------------------------------------
 
 /// Used by `arch` code to find the early boot core.
-pub const BOOT_CORE_ID: usize = 0;
+pub const BOOT_CORE_ID: u64 = 0;

12_exceptions_part1_groundwork/src/bsp/raspberrypi/cpu.rs

@@ -9,4 +9,4 @@
 //--------------------------------------------------------------------------------------------------
 
 /// Used by `arch` code to find the early boot core.
-pub const BOOT_CORE_ID: usize = 0;
+pub const BOOT_CORE_ID: u64 = 0;

13_integrated_testing/src/bsp/raspberrypi/cpu.rs

@@ -9,4 +9,4 @@
 //--------------------------------------------------------------------------------------------------
 
 /// Used by `arch` code to find the early boot core.
-pub const BOOT_CORE_ID: usize = 0;
+pub const BOOT_CORE_ID: u64 = 0;

14_exceptions_part2_peripheral_IRQs/README.md

@@ -1357,7 +1357,7 @@ diff -uNr 13_integrated_testing/src/bsp/device_driver/arm/gicv2.rs 14_exceptions
 +    }
 +
 +    unsafe fn init(&self) -> Result<(), &'static str> {
-+        if cpu::smp::core_id::<usize>() == bsp::cpu::BOOT_CORE_ID {
++        if bsp::cpu::BOOT_CORE_ID == cpu::smp::core_id() {
 +            self.gicd.boot_core_init();
 +        }
 +

14_exceptions_part2_peripheral_IRQs/src/bsp/device_driver/arm/gicv2.rs

@@ -139,7 +139,7 @@ impl driver::interface::DeviceDriver for GICv2 {
     }
 
     unsafe fn init(&self) -> Result<(), &'static str> {
-        if cpu::smp::core_id::<usize>() == bsp::cpu::BOOT_CORE_ID {
+        if bsp::cpu::BOOT_CORE_ID == cpu::smp::core_id() {
             self.gicd.boot_core_init();
         }
 

14_exceptions_part2_peripheral_IRQs/src/bsp/raspberrypi/cpu.rs

@@ -9,4 +9,4 @@
 //--------------------------------------------------------------------------------------------------
 
 /// Used by `arch` code to find the early boot core.
-pub const BOOT_CORE_ID: usize = 0;
+pub const BOOT_CORE_ID: u64 = 0;

15_virtual_mem_part2_mmio_remap/README.md

@@ -1077,7 +1077,7 @@ diff -uNr 14_exceptions_part2_peripheral_IRQs/src/bsp/device_driver/arm/gicv2.rs
 +            self.is_mmio_remapped.store(true, Ordering::Relaxed);
 +        }
 +
-         if cpu::smp::core_id::<usize>() == bsp::cpu::BOOT_CORE_ID {
+         if bsp::cpu::BOOT_CORE_ID == cpu::smp::core_id() {
              self.gicd.boot_core_init();
          }
 

15_virtual_mem_part2_mmio_remap/src/bsp/device_driver/arm/gicv2.rs

@@ -168,7 +168,7 @@ impl driver::interface::DeviceDriver for GICv2 {
             self.is_mmio_remapped.store(true, Ordering::Relaxed);
         }
 
-        if cpu::smp::core_id::<usize>() == bsp::cpu::BOOT_CORE_ID {
+        if bsp::cpu::BOOT_CORE_ID == cpu::smp::core_id() {
             self.gicd.boot_core_init();
         }
 

15_virtual_mem_part2_mmio_remap/src/bsp/raspberrypi/cpu.rs

@@ -9,4 +9,4 @@
 //--------------------------------------------------------------------------------------------------
 
 /// Used by `arch` code to find the early boot core.
-pub const BOOT_CORE_ID: usize = 0;
+pub const BOOT_CORE_ID: u64 = 0;

X1_JTAG_boot/src/bsp/raspberrypi/cpu.rs

@@ -9,4 +9,4 @@
 //--------------------------------------------------------------------------------------------------
 
 /// Used by `arch` code to find the early boot core.
-pub const BOOT_CORE_ID: usize = 0;
+pub const BOOT_CORE_ID: u64 = 0;