gh0s7/mckernel
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

support vsyscall_getcpu() vsyscall. refs #385

Browse Source 
This version simply calls getcpu() system call, so that it's not fast.
This commit is contained in:
NAKAMURA Gou
2015-02-10 15:59:23 +09:00
parent d30d8fe71c
commit a4a806bef7
5 changed files with 26 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
kernel/config/attached-mic.lds
View File

@ -30,6 +30,9 @@ SECTIONS
. = vsyscall_page + 0x400;
*(.vsyscall.time)
. = vsyscall_page + 0x800;
*(.vsyscall.getcpu)
. = ALIGN(4096);
} : data = 0xf4

3
kernel/config/builtin-mic.lds
View File

@ -30,6 +30,9 @@ SECTIONS
. = vsyscall_page + 0x400;
*(.vsyscall.time)
. = vsyscall_page + 0x800;
*(.vsyscall.getcpu)
. = ALIGN(4096);
} : data = 0xf4

3
kernel/config/builtin-x86.lds
View File

@ -30,6 +30,9 @@ SECTIONS
. = vsyscall_page + 0x400;
*(.vsyscall.time)
. = vsyscall_page + 0x800;
*(.vsyscall.getcpu)
. = ALIGN(4096);
} : data = 0xf4

3
kernel/config/smp-x86.lds
View File

@ -30,6 +30,9 @@ SECTIONS
. = vsyscall_page + 0x400;
*(.vsyscall.time)
. = vsyscall_page + 0x800;
*(.vsyscall.getcpu)
. = ALIGN(4096);
} : data = 0xf4