kmdb_dpi_call
extern uintptr_t kmdb_dpi_call(uintptr_t, uint_t, const uintptr_t *);
(void) kmdb_dpi_call((uintptr_t)mdb.m_kdi->kdi_system_claim, 0, NULL);
(void) kmdb_dpi_call((uintptr_t)mdb.m_kdi->kdi_system_release,
rval = kmdb_dpi_call(addr, argc, call_argv);
(void) kmdb_dpi_call(
(void) kmdb_dpi_call((uintptr_t)mdb.m_pio->cons_polledio_exit,
if (!wait && ischar != 0 && !kmdb_dpi_call(ischar, 1, &arg))
return ((int)kmdb_dpi_call(getchar, 1, &arg));
(void) kmdb_dpi_call(
extern uintptr_t kmdb_dpi_call(uintptr_t, uint_t, const uintptr_t *);
(kmdb_dpi_call((uintptr_t)fn, 1, (uintptr_t *)&arg))
(void) (kmdb_dpi_call((uintptr_t)fn, 2, (uintptr_t *)args)); \