X86_BR_SYSCALL
X86_BR_SYSCALL |\
&& ret != X86_BR_SYSCALL && ret != X86_BR_INT)
return X86_BR_SYSCALL;