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