# AUTOGENERATED FILE
ZX_CACHE_FLUSH_DATA = 2
ZX_CACHE_FLUSH_INSN = 1
ZX_CACHE_FLUSH_INVALIDATE = 4
ZX_INTERRUPT_VIRTUAL = 16