linux/arch/x86/kernel/+code=set_pci_reboot
<<
>>
Prefs
Node not found: arch/x86/kernel/+code=set_pci_reboot (v4.3)