[XFRM]: xfrm_spi_hash() annotations