diff --git a/kernel/pci.c b/kernel/pci.c
index 81df783..0a941e4 100644
--- a/kernel/pci.c
+++ b/kernel/pci.c
@@ -2,12 +2,12 @@
 
 /* --- Internal I/O Helpers (If not defined in your kernel) --- */
 static inline void outl(uint16_t port, uint32_t val) {
-    __asm__ __volatile__ ("outl %0, %1" : : "a"(val), "Nd"(port));
+    __asm__ volatile ("outl %0, %1" : : "a"(val), "Nd"(port));
 }
 
 static inline uint32_t inl(uint16_t port) {
     uint32_t ret;
-    __asm__ __volatile__ ("inl %1, %0" : "=a"(ret) : "Nd"(port));
+    __asm__ volatile ("inl %1, %0" : "=a"(ret) : "Nd"(port));
     return ret;
 }