+val field_signature_of_task_struct_state :
+ kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_task_struct_prio :
+ kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_task_struct_normal_prio :
+ kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_task_struct_static_prio :
+ kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_task_struct_tasks'prev :
+ kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_task_struct_tasks'next :
+ kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_task_struct_mm :
+ kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_task_struct_active_mm :
+ kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_task_struct_comm :
+ kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_task_struct_pid :
+ kernel_version -> Virt_mem_types.fieldsig;;