Index: kernel/arch/amd64/include/asm.h
===================================================================
--- kernel/arch/amd64/include/asm.h	(revision f24d300581dcff87298e80ad8a95d552d34abead)
+++ kernel/arch/amd64/include/asm.h	(revision c22e964a598c0c20654391f6a11e7333830cbf37)
@@ -37,4 +37,6 @@
 
 #include <config.h>
+#include <arch/types.h>
+#include <typedefs.h>
 
 extern void asm_delay_loop(uint32_t t);
Index: kernel/arch/amd64/include/types.h
===================================================================
--- kernel/arch/amd64/include/types.h	(revision f24d300581dcff87298e80ad8a95d552d34abead)
+++ kernel/arch/amd64/include/types.h	(revision c22e964a598c0c20654391f6a11e7333830cbf37)
@@ -58,8 +58,4 @@
 typedef int64_t native_t;
 
-typedef volatile uint8_t ioport8_t;
-typedef volatile uint16_t ioport16_t;
-typedef volatile uint32_t ioport32_t;
-
 typedef struct {
 } fncptr_t;