+kernel_in_device.cmi: virt_mem_types.cmi virt_mem_mmap.cmi
+kernel_inet6_dev.cmi: virt_mem_types.cmi virt_mem_mmap.cmi
+kernel_inet6_ifaddr.cmi: virt_mem_types.cmi virt_mem_mmap.cmi
+kernel_in_ifaddr.cmi: virt_mem_types.cmi virt_mem_mmap.cmi
kernel_net_device.cmi: virt_mem_types.cmi virt_mem_mmap.cmi
kernel_net.cmi: virt_mem_types.cmi virt_mem_mmap.cmi
kernel_task_struct.cmi: virt_mem_types.cmi virt_mem_mmap.cmi
virt_mem_tasks.cmi: virt_mem_types.cmi
virt_mem_types.cmi: virt_mem_utils.cmo virt_mem_mmap.cmi
virt_mem_utsname.cmi: virt_mem_types.cmi
+kernel_in_device.cmo: virt_mem_types.cmi virt_mem_mmap.cmi \
+ kernel_in_device.cmi
+kernel_in_device.cmx: virt_mem_types.cmx virt_mem_mmap.cmx \
+ kernel_in_device.cmi
+kernel_inet6_dev.cmo: virt_mem_types.cmi virt_mem_mmap.cmi \
+ kernel_inet6_dev.cmi
+kernel_inet6_dev.cmx: virt_mem_types.cmx virt_mem_mmap.cmx \
+ kernel_inet6_dev.cmi
+kernel_inet6_ifaddr.cmo: virt_mem_types.cmi virt_mem_mmap.cmi \
+ kernel_inet6_ifaddr.cmi
+kernel_inet6_ifaddr.cmx: virt_mem_types.cmx virt_mem_mmap.cmx \
+ kernel_inet6_ifaddr.cmi
+kernel_in_ifaddr.cmo: virt_mem_types.cmi virt_mem_mmap.cmi \
+ kernel_in_ifaddr.cmi
+kernel_in_ifaddr.cmx: virt_mem_types.cmx virt_mem_mmap.cmx \
+ kernel_in_ifaddr.cmi
kernel_net_device.cmo: virt_mem_types.cmi virt_mem_mmap.cmi \
kernel_net_device.cmi
kernel_net_device.cmx: virt_mem_types.cmx virt_mem_mmap.cmx \
map kernel_version image addr (
fun netdev ->
{ netdev_name = truncate_c_string netdev.net_device_name;
- netdev_dev_addr = netdev.net_device_dev_addr }
+ netdev_flags = netdev.net_device_flags;
+ netdev_operstate = netdev.net_device_operstate;
+ netdev_mtu = netdev.net_device_mtu;
+ netdev_perm_addr = netdev.net_device_perm_addr;
+ netdev_addr_len = netdev.net_device_addr_len;
+ }
) in
image, Some netdevs
type net_device = {
netdev_name : string; (** Device name. *)
- netdev_dev_addr : string; (** Interface network address. *)
+ netdev_flags : int64;
+ netdev_operstate : int64;
+ netdev_mtu : int64;
+ netdev_perm_addr : string;
+ netdev_addr_len : int64;
}
(** Internal version of the kernel [net_device] (network device struct). *)