Symbol: xfrm4_extract_header