Searched defs:tokernel (Results 1 – 1 of 1) sorted by relevance
34 Copy_In(uintptr_t fromuser, void *tokernel, uintptr_t len) in Copy_In()106 Copy_StrIn(uintptr_t fromuser, void *tokernel, uintptr_t len) in Copy_StrIn()