SLHCI_RESERVED_BUSTIME
#ifndef SLHCI_RESERVED_BUSTIME
if (t->reserved_bustime + bustime > SLHCI_RESERVED_BUSTIME) {
SC_NAME(sc), SLHCI_RESERVED_BUSTIME);
SLHCI_RESERVED_BUSTIME, 0, 0, 0);