kernel-fxtec-pro1x/drivers/reset/tegra
..
Kconfig
Makefile
reset-bpmp.c