Symbol: SYSCALL_WORK_SYSCALL_USER_DISPATCH