rename int_0x80 to syscall_insn in entering_syscall_insn
add x86-64 syscall insn definition to entering_syscall_insn