Cristiano Giuffrida 50b7f13f9f Add live update-friendly annotations. ...

Change-Id: I7d7d79893836a20799ca548a350f3288e92581f0

2015-09-17 13:25:38 +00:00

..

arch

vm: Separate mmap regions.

2015-09-16 11:06:17 +00:00

system

kernel: Debug printing at live update time.

2015-09-16 11:03:04 +00:00

clock.c

…

clock.h

…

config.h

…

const.h

vm: Separate mmap regions.

2015-09-16 11:06:17 +00:00

cpulocals.c

…

cpulocals.h

…

debug.c

kernel: Add support for IPC filters.

2015-09-16 11:02:24 +00:00

debug.h

kernel: Add support for IPC filters.

2015-09-16 11:02:24 +00:00

extract-errno.sh

…

extract-mfield.sh

…

extract-mtype.sh

…

glo.h

…

interrupt.c

…

interrupt.h

…

ipc_filter.h

kernel: Add support for IPC filters.

2015-09-16 11:02:24 +00:00

ipc.h

kernel: Add support for IPC filters.

2015-09-16 11:02:24 +00:00

kernel.h

…

main.c

vm: Separate mmap regions.

2015-09-16 11:06:17 +00:00

Makefile

Kernel: correctly set USE_ defines from Makefile

2015-08-08 16:56:37 +00:00

priv.h

kernel: Handle IPC properly at live update time.

2015-09-16 11:02:53 +00:00

proc.c

kernel: Handle IPC properly at live update time.

2015-09-16 11:02:53 +00:00

proc.h

Add live update-friendly annotations.

2015-09-17 13:25:38 +00:00

profile.c

Remove support for call profiling

2014-09-30 12:39:03 +00:00

profile.h

Remove support for call profiling

2014-09-30 12:39:03 +00:00

proto.h

kernel: Inherit allowed memory, IRQ & I/O ranges

2015-09-16 11:02:44 +00:00

smp.c

…

smp.h

…

spinlock.h

…

system.c

kernel: Inherit allowed memory, IRQ & I/O ranges

2015-09-16 11:02:44 +00:00

system.h

Remove support for call profiling

2014-09-30 12:39:03 +00:00

table.c

…

type.h

…

usermapped_data.c

Fix bitcode support for kernel

2014-08-29 12:57:03 -04:00

utility.c

…

vm.h

…

watchdog.c

…

watchdog.h

…