]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/tree - sys/dev/psci/
amd64: use register macros for gdb_cpu_getreg()
[FreeBSD/FreeBSD.git] / sys / dev / psci /
drwxr-xr-x   ..
-rw-r--r-- 14520 psci.c
-rw-r--r-- 3916 psci.h
-rw-r--r-- 3215 smccc.c
-rw-r--r-- 3441 smccc.h
-rw-r--r-- 2503 smccc_arm.S
-rw-r--r-- 2301 smccc_arm64.S