When we detect support for 16bit VMID in ID_AA64MMFR1, we set the VTCR_EL2_VS field to 1 to make use of 16bit vmids. But, with commit |
||
---|---|---|
.. | ||
debug-sr.c | ||
entry.S | ||
fpsimd.S | ||
hyp-entry.S | ||
Makefile | ||
s2-setup.c | ||
switch.c | ||
sysreg-sr.c | ||
tlb.c | ||
vgic-v3-sr.c |