[XFRM]: xfrm_address_t annotations