Add to sysreg definition for coproc regs required for virtualization

[mihai]

Summary

Add to sysreg definition for coproc regs required for virtualization

[emaste]

In the future can you please include full context (details on https://wiki.freebsd.org/Phabricator) e.g.

git diff -U999999 other-branch
svn diff --diff-cmd=diff -x -U999999

[andrew]

This looks good. I'm assuming the registers are correct.

[grehan]

I checked the numbers and they look good.

[mmel]

sys/arm/include/sysreg.h

86

Please, keep the list sorted - here and below.
And yes, the whole hyp. related block is misordered - It should be at the end of C0 section.

323

I'm only curious here - why a '2' suffix and do you really need LPAE version of TTBR registers?

[mihai]

sys/arm/include/sysreg.h

323

On hyp-mode LPAE is the only supported page table format.

[mihai]

sys/arm/include/sysreg.h

323

It's 2 because is the 64bit version (2 registers). CP15_TTBR0/1 already exists for 32bits. I would have the same name. Please provide another naming convention if this is not ok.

[mihai]

Ordered entries. If they are not order, please provide the methodology of ordering them.

[mihai]

Add HMAIR registers.

[mmel]

sys/arm/include/sysreg.h

320–326

Rather, I would prefer <foo>_LPAE or something like. But this is only my "soft" personal preference.