Ah so their names are just ARM64 registers. Now I get it.