fcf_sec
static int fcf_sec(uintptr_t, uint_t, int, const mdb_arg_t *);
(void) fcf_sec(addr, DCMD_ADDRSPEC | DCMD_LOOP, 0, NULL);
{ "fcf_sec", ":", "print a FCF section header", fcf_sec },