dump_key
(void) dump_key((uint8_t *)(p + 1), SADB_8TO1(len), 0,
(void) dump_key(keyp, ps->ps_key_bits, 0, stdout, B_FALSE);
(void) dump_key((uint8_t *)(key + 1), key->sadb_key_bits,
if (dump_key((uint8_t *)(key + 1), key->sadb_key_bits,
extern int dump_key(uint8_t *, uint_t, uint_t, FILE *, boolean_t);