Lines Matching refs:flavor
66 int flavor,
70 switch (flavor) {
116 if ((tstate->dsh.flavor == x86_DEBUG_STATE32) &&
128 } else if ((tstate->dsh.flavor == x86_DEBUG_STATE64) &&
155 int flavor,
159 switch (flavor) {
202 tstate->dsh.flavor = x86_DEBUG_STATE64;
211 tstate->dsh.flavor = x86_DEBUG_STATE32;
267 int flavor;
271 flavor = x86_DEBUG_STATE64;
274 flavor = x86_DEBUG_STATE32;
278 return machine_thread_set_state(thread, flavor, parent_task->task_debug, count);