## HACR_EL2[11]
Traps:
s3_0_c10_c3_0 (3, 0, 10, 3, 0)
s3_6_c15_c1_0 (3, 6, 15, 1, 0)

## HACR_EL2[12]

## HACR_EL2[13]
Traps:
s3_6_c15_c1_2 (3, 6, 15, 1, 2)

## HACR_EL2[14]
Traps:
s3_4_c15_c1_6 (3, 4, 15, 1, 6)
s3_4_c15_c1_7 (3, 4, 15, 1, 7)
s3_4_c15_c2_2 (3, 4, 15, 2, 2)
s3_4_c15_c2_3 (3, 4, 15, 2, 3)
s3_4_c15_c2_4 (3, 4, 15, 2, 4)
s3_4_c15_c2_5 (3, 4, 15, 2, 5)

## HACR_EL2[15]

## HACR_EL2[16]
Traps:
s3_5_c15_c1_1 (3, 5, 15, 1, 1)
s3_5_c15_c3_1 (3, 5, 15, 3, 1)