tc_intr_establish(dev, cookie, level, handler, arg)
Establish an interrupt handler with device dev for the interrupt described completely by cookie, the value passed to the driver in the ta_cookie member of the tc_attach_args structure. The priority of the interrupt is specified by level. When the interrupt occurs the function handler is called with argument arg.
tc_intr_disestablish(dev, cookie)
Dis-establish the interrupt handler with device dev for the interrupt described completely cookie.
tc_intr_evcnt(dev, cookie)
Do interrupt event counting with device dev for the event described completely by cookie.
tc_mb()
A read/write memory barrier. Any CPU-to-memory reads/writes before the barrier must complete before any CPU-to-memory reads/writes after it.
tc_wmb()
A write memory barrier. Any CPU-to-memory writes before the barrier must complete before any CPU-to-memory writes after it.
tc_syncbus()
Synchronise writes on the TURBOchannel bus by ensuring CPU writes are propagated across the TURBOchannel bus.
tc_badaddr(tcaddr)
Returns non-zero if the given address tcaddr is invalid.
TC_DENSE_TO_SPARSE(addr)
Convert the given physical address addr in TURBOchannel dense space to the corresponding address in TURBOchannel sparse space.
TC_PHYS_TO_UNCACHED(addr)
Convert the given system memory physical address addr to the physical address of the corresponding region that is not cached.