Searched refs:platform_syscall_kprintf (Results 1 – 1 of 1) sorted by relevance
2172 #define platform_syscall_kprintf(x...) /* kprintf("platform_syscall: " x) */ in platform_syscall() macro2184 platform_syscall_kprintf("set cthread self.\n"); in platform_syscall()2189 platform_syscall_kprintf("get cthread self.\n"); in platform_syscall()2195 platform_syscall_kprintf("unknown: %d\n", code); in platform_syscall()