Dominique Martinet 52cd57fed2 memory/x86_64: fix linux safe_kernel_map ...

init_linux_kernel_mapping is called in setup_x86_phase1 way
before arguments are setup, but we can access kernel boot args
directly and use that, so ugly fix for now.

Change-Id: I285ecc31c6646d6d18566d411b09ae3190e8101e
Refs: #1228

2018-12-04 10:05:03 +00:00

..

include

xpmem: Add xpmem_openat

2018-11-21 07:39:56 +00:00

context.S

arch: x86 -> x86_64 and build system changes

2017-10-18 09:20:52 +09:00

coredump.c

arch: x86 -> x86_64 and build system changes

2017-10-18 09:20:52 +09:00

cpu.c

Add set_cputime() kernel to kernel case and mode enum.

2018-11-27 05:03:39 +00:00

gencore.c

coredump: Exclude special areas

2018-09-20 01:48:17 +00:00

interrupt.S

Wait for LWK to run at shutdown.

2018-02-06 10:40:12 +09:00

local.c

ihk_mc_get_processor_id(): return -1 for non-McKernel CPUs

2018-09-04 19:51:09 +09:00

lock.c

arch: x86 -> x86_64 and build system changes

2017-10-18 09:20:52 +09:00

Makefile.arch.in

arch: x86 -> x86_64 and build system changes

2017-10-18 09:20:52 +09:00

memory.c

memory/x86_64: fix linux safe_kernel_map

2018-12-04 10:05:03 +00:00

mikc.c

Increase IKC master channel size

2018-10-03 06:23:17 +00:00

perfctr.c

perf_event: Specify counter by bit_mask on start/stop

2018-08-02 11:22:28 +09:00

syscall.c

do_mmap: change addr to uintptr_t

2018-10-11 09:24:23 +00:00

trampoline.S

arch: x86 -> x86_64 and build system changes

2017-10-18 09:20:52 +09:00

vsyscall.c

syscall_time: Handle by McKernel

2018-09-13 07:44:02 +00:00