Symbol: ibtl_dprintf_intr