mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-31 14:40:54 +00:00
bed870ead4
Replace size_t by uint8_t in accessors for the IPv4 header fields 'version' and 'header_length' - uint8_t is the smallest integral type for 4 bit of information. Note, as the _internet header length_ field is defined to reflect the number of 32-bit words the header occupies, we also stick to the specification with our accessor. Issue #1915