[XFRM]: xfrm_parse_spi() annotations