5 * Written by Alex Bennée <alex.bennee@linaro.org>
7 * SPDX-License-Identifier: GPL-3.0-or-later
10 #define SYS_WRITE0 0x04
11 #define SYS_READC 0x07
12 #define SYS_REPORTEXC 0x18
14 uintptr_t __semi_call(uintptr_t type
, uintptr_t arg0
)
17 register uintptr_t t
asm("r0") = type
;
18 register uintptr_t a0
asm("r1") = arg0
;
20 # define SVC "svc 0xab"
22 # define SVC "svc 0x123456"
27 register uintptr_t t
asm("x0") = type
;
28 register uintptr_t a0
asm("x1") = arg0
;