[XFRM]: xfrm_state_lookup() annotations