Mark shutdown_qemu as diverging

SlyMarbo · SlyMarbo · commit e3a51b9088ed · 2021-11-30T19:10:50.000Z
Signed-off-by: SlyMarbo &lt;the.sly.marbo@googlemail.com&gt;
diff --git a/kernel/src/lib.rs b/kernel/src/lib.rs
@@ -170,10 +170,12 @@ pub fn exit_qemu(exit_code: QemuExitCode) {
 /// to instruct QEMU to shut down successfully.
 ///
 #[doc(hidden)]
-pub fn shutdown_qemu() {
+pub fn shutdown_qemu() -> ! {
     unsafe {
         x86_64::instructions::port::Port::new(0x604).write(0x2000u16);
     }
+
+    unreachable!("instruction to exit QEMU returned somehow");
 }
 
 #[cfg(test)]

Original file line number	Diff line number	Diff line change
`@@ -170,10 +170,12 @@ pub fn exit_qemu(exit_code: QemuExitCode) {`
`170`	`170`	`/// to instruct QEMU to shut down successfully.`
`171`	`171`	`///`
`172`	`172`	`#[doc(hidden)]`
`173`		`-pub fn shutdown_qemu() {`
	`173`	`+pub fn shutdown_qemu() -> ! {`
`174`	`174`	`unsafe {`
`175`	`175`	`x86_64::instructions::port::Port::new(0x604).write(0x2000u16);`
`176`	`176`	`}`
	`177`	`+`
	`178`	`+ unreachable!("instruction to exit QEMU returned somehow");`
`177`	`179`	`}`
`178`	`180`
`179`	`181`	`#[cfg(test)]`