MMU bug on get_1st_ptaddr?

[h8liu]

https://github.com/ozaki-r/arm-js/blob/master/js/armv7-mmu.js#L47

If I understand the code correctly, index here is masked by this.mask, which means it only has (12 - this.width) bits, however, when index is not zero, based on my understanding on ARM MMU, this should be using the full index (which has all the 12 bits) with baseaddr1, since baseaddr1 should be always a full sized page table.

Forgive me if I am wrong.