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