/tmp//ccU22KGx.s: Assembler messages:
/tmp//ccU22KGx.s:425: Error: selected processor does not support requested special purpose register -- `mrs r4,CNTVCT_EL0'
/tmp//ccU22KGx.s:469: Error: selected processor does not support requested special purpose register -- `mrs r8,CNTVCT_EL0'
/tmp//ccU22KGx.s:547: Error: selected processor does not support requested special purpose register -- `mrs r4,CNTVCT_EL0'
/tmp//ccU22KGx.s:593: Error: selected processor does not support requested special purpose register -- `mrs r4,CNTVCT_EL0'
/tmp//ccU22KGx.s:807: Error: selected processor does not support requested special purpose register -- `mrs r6,CNTVCT_EL0'
