Lines Matching refs:arg1
73 * arg1: uintptr_t, thread name length
80 self->str_ptr = (char*) copyin(arg0, arg1+1);
81 self->str_ptr[arg1] = '\0';
93 self->str_ptr = (char*) copyin(arg0, arg1+1);
94 self->str_ptr[arg1] = '\0';
108 * arg1: uintptr_t, a unique, but opaque identifier for the specific
124 monitors[arg1] = self->class_name;
126 monitors_enter[arg1] = arg0;
128 threads[arg0], arg1, monitors[arg1]);
136 monitors_entered[arg1] = arg0;
138 threads[arg0], arg1, monitors[arg1]);
