# RUN: llvm-mc -triple aarch64 -disassemble < %s | FileCheck %s
[0x40,0x23,0x3c,0xd5]
# CHECK: mrs x0, HDBSSBR_EL2
[0x40,0x23,0x1c,0xd5]
# CHECK: msr HDBSSBR_EL2, x0
[0x60,0x23,0x3c,0xd5]
# CHECK: mrs x0, HDBSSPROD_EL2
[0x60,0x23,0x1c,0xd5]
# CHECK: msr HDBSSPROD_EL2, x0