linux/drivers/gpio/+code=configure_timer
<<
>>
Prefs
Node not found: drivers/gpio/+code=configure_timer (v4.17)