Index of /orangepi-build/kernel/orange-pi-5.10-rk35xx/drivers/firmware/psci/

../
Kconfig                                            04-Dec-2025 20:49                 486
Makefile                                           04-Dec-2025 20:49                 122
psci.c                                             04-Dec-2025 20:49               14632
psci_checker.c                                     04-Dec-2025 20:49               12543