SYSCALL_WORK_SYSCALL_USER_DISPATCH
if (work & SYSCALL_WORK_SYSCALL_USER_DISPATCH) {
SYSCALL_WORK_SYSCALL_USER_DISPATCH | \
SYSCALL_WORK_SYSCALL_USER_DISPATCH | \
if (work & SYSCALL_WORK_SYSCALL_USER_DISPATCH) {