Searched refs:arg3 (Results 1 – 2 of 2) sorted by relevance
27 uintptr_t arg1, uintptr_t arg2, uintptr_t arg3) in Thread_SetupKThread() argument53 tf->rdx = (uint64_t)arg3; in Thread_SetupKThread()58 ThreadEnterUserLevelCB(uintptr_t arg1, uintptr_t arg2, uintptr_t arg3) in ThreadEnterUserLevelCB() argument69 tf.rdi = (uint64_t)arg3; /* Userspace Argument */ in ThreadEnterUserLevelCB()
131 uintptr_t arg1, uintptr_t arg2, uintptr_t arg3);