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