53 lines
1.4 KiB
Diff
53 lines
1.4 KiB
Diff
--- kernel/OS/Linux/os_linux.h 2015-01-28 08:07:23.000000000 +0000
|
|
+++ kernel/OS/Linux/os_linux.h 2015-06-01 23:12:46.044784820 +0100
|
|
@@ -119,7 +119,7 @@
|
|
/* System wall timer access */
|
|
#define GET_JIFFIES() oss_get_jiffies()
|
|
|
|
-extern inline unsigned int
|
|
+__attribute__ ((gnu_inline)) extern inline unsigned int
|
|
__inb (unsigned short port)
|
|
{
|
|
unsigned int _v;
|
|
@@ -127,7 +127,7 @@
|
|
"0" (0));
|
|
return _v;
|
|
}
|
|
-extern inline unsigned int
|
|
+__attribute__ ((gnu_inline)) extern inline unsigned int
|
|
__inw (unsigned short port)
|
|
{
|
|
unsigned int _v;
|
|
@@ -135,7 +135,7 @@
|
|
"0" (0));
|
|
return _v;
|
|
}
|
|
-extern inline unsigned int
|
|
+__attribute__ ((gnu_inline)) extern inline unsigned int
|
|
__inl (unsigned short port)
|
|
{
|
|
unsigned int _v;
|
|
@@ -143,19 +143,19 @@
|
|
return _v;
|
|
}
|
|
|
|
-extern inline void
|
|
+__attribute__ ((gnu_inline)) extern inline unsigned int
|
|
__outb (unsigned char value, unsigned short port)
|
|
{
|
|
__asm__ __volatile__ ("out" "b" " %" "b" "0,%" "w" "1"::"a" (value),
|
|
"d" (port));
|
|
}
|
|
-extern inline void
|
|
+__attribute__ ((gnu_inline)) extern inline unsigned int
|
|
__outw (unsigned short value, unsigned short port)
|
|
{
|
|
__asm__ __volatile__ ("out" "w" " %" "w" "0,%" "w" "1"::"a" (value),
|
|
"d" (port));
|
|
}
|
|
-extern inline void
|
|
+__attribute__ ((gnu_inline)) extern inline unsigned int
|
|
__outl (unsigned int value, unsigned short port)
|
|
{
|
|
__asm__ __volatile__ ("out" "l" " %" "0,%" "w" "1"::"a" (value),
|