|
@@ -96,6 +96,8 @@ def get_thread_info(task):
|
|
|
thread_info_addr = task.address + ia64_task_size
|
|
thread_info_addr = task.address + ia64_task_size
|
|
|
thread_info = thread_info_addr.cast(thread_info_ptr_type)
|
|
thread_info = thread_info_addr.cast(thread_info_ptr_type)
|
|
|
else:
|
|
else:
|
|
|
|
|
+ if task.type.fields()[0].type == thread_info_type.get_type():
|
|
|
|
|
+ return task['thread_info']
|
|
|
thread_info = task['stack'].cast(thread_info_ptr_type)
|
|
thread_info = task['stack'].cast(thread_info_ptr_type)
|
|
|
return thread_info.dereference()
|
|
return thread_info.dereference()
|
|
|
|
|
|