diff options
| author | Ed Maste <emaste@FreeBSD.org> | 2017-06-18 00:08:38 +0000 |
|---|---|---|
| committer | Ed Maste <emaste@FreeBSD.org> | 2017-06-18 00:08:38 +0000 |
| commit | fa8d7c44170156d3164a156c4ee76f8bc9d0af6f (patch) | |
| tree | 7e6acfae9d7d13f35755289453bb3fe848b0d6e8 /sys/dev/psci | |
| parent | 46375c65f6c2a626f1ae75694ca8a3cf446ce5e7 (diff) | |
Notes
Diffstat (limited to 'sys/dev/psci')
| -rw-r--r-- | sys/dev/psci/psci_arm.S | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sys/dev/psci/psci_arm.S b/sys/dev/psci/psci_arm.S index 987e3d154e1b..f756aa951844 100644 --- a/sys/dev/psci/psci_arm.S +++ b/sys/dev/psci/psci_arm.S @@ -28,7 +28,8 @@ #include <machine/asm.h> __FBSDID("$FreeBSD$"); -.arch_extension virt /* For hvc */ +.arch_extension sec /* For smc */ +.arch_extension virt /* For hvc */ /* * int psci_hvc_despatch(register_t psci_fnid, register_t...) |