# RUN: llvm-mc -triple aarch64 -disassemble < %s | FileCheck %s

[0x80,0x23,0x3c,0xd5]
# CHECK: mrs x0, HACDBSBR_EL2

[0x80,0x23,0x1c,0xd5]
# CHECK: msr HACDBSBR_EL2, x0

[0xa0,0x23,0x3c,0xd5]
# CHECK: mrs x0, HACDBSCONS_EL2

[0xa0,0x23,0x1c,0xd5]
# CHECK: msr HACDBSCONS_EL2, x0