[XFRM]: addr_match() annotations