Logo
Explore Help
Sign In
gh0s7/mckernel
1
0
Fork 0
You've already forked mckernel
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
035e7913d87c2876ebbebbc7921583bd67f61bb8
mckernel/arch/x86/kernel
History
Tomoki Shirasawa d7b8e7f4f4 fix to count user pages
refs #864
2017-07-14 09:51:39 +09:00
..
include
pte_update_phys(): update physical address of a PTE
2017-07-08 18:36:05 +09:00
context.S
x86: encode cpu# in IA32_TSC_AUX and size of GDTe#15
2016-03-28 22:57:44 +09:00
cpu.c
SMP: generic function call facility for CPU sets
2017-05-28 07:41:48 +09:00
gencore.c
Correct comments in gencore.c
2017-06-16 21:47:23 +09:00
interrupt.S
support to utility thread offloading
2017-06-27 13:27:09 +09:00
local.c
add ACSL annotation
2016-03-16 15:42:32 +09:00
lock.c
Make lock/unlock in lock.c accord with arch-lock.h
2014-09-23 12:00:18 +09:00
Makefile.arch
Fix need to modify ihk/cokernel/Makefile when a file has been added under mckernel/arch (Bug#365)
2014-12-26 16:05:23 +09:00
memory.c
fix to count user pages
2017-07-14 09:51:39 +09:00
mikc.c
IKC: delete recieve channel list
2017-05-19 10:26:29 +09:00
perfctr.c
pmc_start, pmc_stop: Error check on counter number
2017-07-11 19:05:45 +09:00
syscall.c
support to utility thread offloading
2017-06-27 13:27:09 +09:00
trampoline.S
add modification history entry to the following files,
2013-11-14 18:30:06 +09:00
vsyscall.c
create rusage branch.
2017-03-15 23:22:51 +09:00
Powered by Gitea Version: 1.24.2 Page: 55ms Template: 2ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API