Symbol: CACHE_FLUSH_IS_SAFE
kernel/debug/debug_core.c
282
if (!CACHE_FLUSH_IS_SAFE)
kernel/debug/gdbstub.c
382
if (CACHE_FLUSH_IS_SAFE)