lib/kernel.ml

   1 type ('a, 'b) task_struct =
   2   { task_struct_shape : 'a; task_struct_content : 'b
   3   };;
   4 type task_struct_shape_fields_2 =
   5   { tasks'next : Virt_mem_mmap.addr; tasks'prev : Virt_mem_mmap.addr
   6   };;
   7 type task_struct_shape_fields_1 =
   8   { run_list'next : Virt_mem_mmap.addr; run_list'prev : Virt_mem_mmap.addr;
   9     tasks'next : Virt_mem_mmap.addr; tasks'prev : Virt_mem_mmap.addr
  10   };;
  11 type task_struct_content_fields_3 =
  12   { comm : string; normal_prio : int64; pid : int64; prio : int64;
  13     state : int64; static_prio : int64
  14   };;
  15 type ('a, 'b) net_device = { net_device_shape : 'a; net_device_content : 'b };;
  16 type net_device_shape_fields_12 =
  17   { ip6_ptr : Virt_mem_mmap.addr; ip_ptr : Virt_mem_mmap.addr;
  18     next : Virt_mem_mmap.addr
  19   };;
  20 type net_device_shape_fields_13 =
  21   { dev_list'next : Virt_mem_mmap.addr; dev_list'prev : Virt_mem_mmap.addr;
  22     ip6_ptr : Virt_mem_mmap.addr; ip_ptr : Virt_mem_mmap.addr
  23   };;
  24 type net_device_content_fields_14 =
  25   { addr_len : int64; flags : int64; mtu : int64; name : string;
  26     operstate : int64; perm_addr : string
  27   };;
  28 type ('a, 'b) net = { net_shape : 'a; net_content : 'b };;
  29 type net_shape_fields_22 =
  30   { dev_base_head'next : Virt_mem_mmap.addr;
  31     dev_base_head'prev : Virt_mem_mmap.addr
  32   };;
  33 type net_content_fields_23 = unit;;
  34 type ('a, 'b) in_device = { in_device_shape : 'a; in_device_content : 'b };;
  35 type in_device_shape_fields_28 = { ifa_list : Virt_mem_mmap.addr };;
  36 type in_device_content_fields_29 = unit;;
  37 type ('a, 'b) inet6_dev = { inet6_dev_shape : 'a; inet6_dev_content : 'b };;
  38 type inet6_dev_shape_fields_34 = { addr_list : Virt_mem_mmap.addr };;
  39 type inet6_dev_content_fields_35 = unit;;
  40 type ('a, 'b) in_ifaddr = { in_ifaddr_shape : 'a; in_ifaddr_content : 'b };;
  41 type in_ifaddr_shape_fields_40 = { ifa_next : Virt_mem_mmap.addr };;
  42 type in_ifaddr_content_fields_41 =
  43   { ifa_address : int64; ifa_broadcast : int64; ifa_local : int64;
  44     ifa_mask : int64
  45   };;
  46 type ('a, 'b) inet6_ifaddr =
  47   { inet6_ifaddr_shape : 'a; inet6_ifaddr_content : 'b
  48   };;
  49 type inet6_ifaddr_shape_fields_46 = { lst_next : Virt_mem_mmap.addr };;
  50 type inet6_ifaddr_content_fields_47 = { prefix_len : int64 };;