host_cat_array    802 net/ipv4/cipso_ipv4.c 	u32 *host_cat_array = NULL;
host_cat_array    806 net/ipv4/cipso_ipv4.c 		host_cat_array = doi_def->map.std->cat.local;
host_cat_array    822 net/ipv4/cipso_ipv4.c 			net_spot = host_cat_array[host_spot];