707 msr tco  label
708 msr gcr_el1  label
709 msr rgsr_el1  label
710 msr tfsr_el1  label
711 msr tfsr_el2  label
712 msr tfsr_el3  label
713 msr tfsr_el12  label
714 msr tfsre0_el1  label
715 msr gmid_el1  label
736 msr x0, tco  label
737 msr x1, gcr_el1  label
738 msr x2, rgsr_el1  label
739 msr x3, tfsr_el1  label
740 msr x4, tfsr_el2  label
741 msr x5, tfsr_el3  label
742 msr x6, tfsr_el12  label
743 msr x7, tfsre0_el1  label
744 msr x7, gmid_el1  label
765 msr gmid_el1, x7  label
772 msr gcr_el1, #1  label
773 msr rgsr_el1, #2  label
774 msr tfsr_el1, #3  label
775 msr tfsr_el2, #4  label
776 msr tfsr_el3, #5  label
777 msr tfsr_el12, #6  label
778 msr tfsre0_el1, #7  label
780 msr gmid_el1, #7  label