cipso_v4_cache_add
static inline int cipso_v4_cache_add(const unsigned char *cipso_ptr,
int cipso_v4_cache_add(const unsigned char *cipso_ptr,