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