Index of /build/tmp/work/x86_64-nativesdk-tdxsdk-linux/nativesdk-linux-libc-headers/5.16-r0/linux-5.16/drivers/firmware/psci/

../
Kconfig                                            09-Jan-2022 22:55                 486
Makefile                                           09-Jan-2022 22:55                 122
psci.c                                             09-Jan-2022 22:55               14942
psci_checker.c                                     09-Jan-2022 22:55               12543