Source position: nicmp6h.inc line 135
type nd_opt_prefix_info = record |
nd_opt_pi_type: uint8_t; |
nd_opt_pi_len: uint8_t; |
nd_opt_pi_prefix_len: uint8_t; |
nd_opt_pi_flags_reserved: uint8_t; |
nd_opt_pi_valid_time: uint32_t; |
nd_opt_pi_preferred_time: uint32_t; |
nd_opt_pi_reserved2: uint32_t; |
nd_opt_pi_prefix: in6_addr; |
end; |