kernel/driver/usb/xhci/src/controller.rs

@@ -236,10 +236,7 @@ impl Xhci {
         let state = &self.port_states[port];
 
         match state.state.swap(PortState::Disconnected, Ordering::Release) {
-            PortState::Init => {
-                log::warn!("USB device detach received while in init state");
-                Ok(())
-            }
+            PortState::Init => todo!(),
             PortState::Running => {
                 log::info!("Port {}: device detached", port);
                 let address = state

kernel/src/arch/x86/peripherals/hpet.rs

@@ -123,12 +123,8 @@ impl InterruptHandler for HpetTimer {
 
 impl Device for HpetTimer {
     unsafe fn init(self: Arc<Self>) -> Result<(), Error> {
-        if self.period > u32::MAX as u64 && !self.bits64 {
-            log::error!(
-                "HPET period is >32bit and the HPET itself does not support 64bit counters"
-            );
-            return Err(Error::InvalidArgument);
-        }
+        // TODO support arbitrary configurations
+        assert!(self.bits64);
 
         let intc = external_interrupt_controller()?;