Home
last modified time | relevance | path

Searched defs:CONFIG_NMI_IPI (Results 1 – 2 of 2) sorted by relevance

/kernel/linux/linux-5.10/arch/powerpc/
DKconfig77 config NMI_IPI
/kernel/linux/linux-6.6/arch/powerpc/
DKconfig86 config NMI_IPI