Loading...
1# SPDX-License-Identifier: GPL-2.0
2
3config DEBUG_DCFLUSH
4 bool "D-cache flush debugging"
5 depends on SPARC64 && DEBUG_KERNEL
6
7config MCOUNT
8 bool
9 depends on SPARC64
10 depends on FUNCTION_TRACER
11 default y
12
13config FRAME_POINTER
14 bool
15 depends on MCOUNT
16 default y
17
18config HAVE_HARDLOCKUP_DETECTOR_SPARC64
19 bool
20 depends on HAVE_NMI
21 select HARDLOCKUP_DETECTOR_SPARC64
22 help
23 Sparc64 hardlockup detector is the last one developed before adding
24 the common infrastructure for handling hardlockup detectors. It is
25 always built. It does _not_ use the common command line parameters
26 and sysctl interface, except for /proc/sys/kernel/nmi_watchdog.
27
28config HARDLOCKUP_DETECTOR_SPARC64
29 bool
30 depends on HAVE_HARDLOCKUP_DETECTOR_SPARC64
1# SPDX-License-Identifier: GPL-2.0
2
3config TRACE_IRQFLAGS_SUPPORT
4 bool
5 default y
6
7config DEBUG_DCFLUSH
8 bool "D-cache flush debugging"
9 depends on SPARC64 && DEBUG_KERNEL
10
11config MCOUNT
12 bool
13 depends on SPARC64
14 depends on FUNCTION_TRACER
15 default y
16
17config FRAME_POINTER
18 bool
19 depends on MCOUNT
20 default y