#  This file was produced by:
#     mkasmoff -fgas asmoff.o asmoff.def
#     (machine type is 183)
# 
.set QT_TIMER_PERIOD, 0x00000020
.set MS_SYNC, 0x00000002
.set MS_ASYNC, 0x00000001
.set MS_INVALIDATE, 0x00000004
.set MS_INVALIDATE_ICACHE, 0x01000000
.set CA_LINE_SIZE, 0x00000004
.set CA_NUM_LINES, 0x00000008
.set REG_LS, 0x00000005
.set LSR_RXRDY, 0x00000001
.set LSR_TXRDY, 0x00000020
.set LSR_BI, 0x00000010
.set DDI_BASE, 0x00000000
.set DDI_SHIFT, 0x00000008
.set SIZEOF_DDI, 0x00000010
.set INTR_CONFIG_FLAG_IPI, 0x00000004
.set INTR_CONFIG_FLAG_DISALLOWED, 0x00000002
.set INTR_CONFIG_FLAG_PREATTACH, 0x00000001
.set INTR_CONFIG_FLAG_SYS, 0x00000008
.set SYSPAGE_SYSTEM_PRIVATE, 0x00000008
.set SP_PRIVATE_FLAGS, 0x00000004
.set SYSTEM_PRIVATE_FLAG_ABNORMAL_REBOOT, 0x00000001
.set SYSPAGE_NUM_CPU, 0x00000006
.set SYSPAGE_SMP, 0x00000024
.set SMP_START_ADDR, 0x00000010
.set SMP_PENDING, 0x00000000
.set SIGBUS, 0x0000000a
.set BUS_ADRERR, 0x00000002
.set BUS_OBJERR, 0x00000003
.set FLTACCESS, 0x00000005
.set FLTBOUNDS, 0x00000006
.set DEBUG_WATCHDOG_STOP, 0x00000000
.set DEBUG_WATCHDOG_CONTINUE, 0x00000001
.set DEBUG_WATCHDOG_FEED, 0x00000002
