Lines Matching defs:flavor
70 int flavor,
74 switch (flavor) {
120 if ((tstate->dsh.flavor == x86_DEBUG_STATE32) &&
132 } else if ((tstate->dsh.flavor == x86_DEBUG_STATE64) &&
159 int flavor,
163 switch (flavor) {
206 tstate->dsh.flavor = x86_DEBUG_STATE64;
215 tstate->dsh.flavor = x86_DEBUG_STATE32;
278 int flavor;
282 flavor = x86_DEBUG_STATE64;
285 flavor = x86_DEBUG_STATE32;
289 return machine_thread_set_state(thread, flavor, parent_task->task_debug, count);