# AUTOGENERATED FILE
ZX_HANDLE_INVALID = 0
ZX_GUEST_TRAP_BELL = 0
ZX_GUEST_TRAP_MEM = 1
ZX_GUEST_TRAP_IO = 2
ZX_PKT_TYPE_GUEST_BELL = 3
ZX_PKT_TYPE_GUEST_MEM = 4
ZX_PKT_TYPE_GUEST_IO = 5
ZX_PKT_TYPE_GUEST_VCPU = 6