__SYSCALLNAME
or %r13, %r0, __SYSCALLNAME(SYS_,x); \
PINSYSCALL(__SYSCALLNAME(SYS_,x), 97b)
or %r13, %r0, __SYSCALLNAME(SYS_,x) ;\
PINSYSCALL(__SYSCALLNAME(SYS_,x), 99b)