[ARCH question] Do syscall_get_nr and syscall_get_arguments always work?