rem: syscall_dispatcher(unsigned long call_num, void *args, uint64 *call_ret)
add: syscall_dispatcher(uint32 call_num, void *args, uint64 *call_ret)
context: syscall_dispatcher(unsigned long call_num, void *args, uint64 *call_ret){//	dprintf("syscall_dispatcher: thread 0x%x call 0x%x, arg0 0x%x, arg1 0x%x arg2 0x%x arg3 0x%x arg4 0x%x\n",//		thread_get_current_thread_id(), call_num, arg0, arg1, arg2, arg3, arg4);	switch (call_num) {		// the cases are auto-generated		#include "syscall_dispatcher.h"		default:			*call_ret = -1;	}//	dprintf("syscall_dispatcher: done with syscall 0x%x\n", call_num);	return B_INVOKE_SCHEDULER;}