kd_invoke 719 bsp/drv/dev/base/kd.c sched_dpc(&kd_dpc, &kd_invoke, NULL); kd_invoke 729 bsp/drv/dev/base/kd.c kd_invoke(NULL);