get_th_x2

Reads the 4 reserved bits of a TCP header, which are zero in valid segments from fields.

get_th_x2 :: (fields: tcphdr) -> u32