sadb_x_kmc
print_kmc(FILE *file, char *prefix, struct sadb_x_kmc *kmc)
(struct sadb_x_kmc *)current);
extern void print_kmc(FILE *, char *, struct sadb_x_kmc *);