zoneprt
{ "zone", "?[-r [-v]]", "display kernel zone(s)", zoneprt },
extern int zoneprt(uintptr_t, uint_t, int argc, const mdb_arg_t *);