Searched refs:syscall_dispatcher_start (Results 1 – 1 of 1) sorted by relevance
49 void* (syscall_dispatcher_start)(void); variable52 unsigned long syscall_dispatcher_start = 0; variable164 syscall_dispatcher_start, in main()165 (syscall_dispatcher_end - syscall_dispatcher_start + 1), in main()