OSDN Git Service

tick-sched: Check tick_nohz_enabled in tick_nohz_switch_to_nohz()
[android-x86/kernel.git] / kernel / debug /
drwxr-xr-x   ..
-rw-r--r-- 122 Makefile
-rw-r--r-- 25386 debug_core.c
-rw-r--r-- 2504 debug_core.h
-rw-r--r-- 26091 gdbstub.c
drwxr-xr-x - kdb