freebsd-skq/sys/arm64/intel
..
firmware.c
intel-smc.h
stratix10-soc-fpga-mgr.c
stratix10-svc.c
stratix10-svc.h