x86: inline x86_io_wait()

arch/x86/include/arch/port.h

@@ -22,9 +22,6 @@
 #include <gay/cdefs.h>
 #include <gay/types.h>
 
-/** @brief Induce a brief CPU delay by writing zero to I/O port 0x80. */
-extern void x86_io_wait(void);
-
 /**
  * @brief Read a byte from the I/O bus.
  *
@@ -127,6 +124,12 @@ inline void x86_outl(u16 port, u32 data)
 	);
 }
 
+/** @brief Induce a brief CPU delay by writing zero to I/O port `0x80`. */
+inline void x86_io_wait(void)
+{
+	x86_outb(0x80, 0);
+}
+
 #endif /* not _ASM_SOURCE */
 
 /*