gonzui

tkernel_2

monitor/cmdsvc/src/armv6/chkaddr.c - 5.1KB - 136 lines

32:         validLA = validSz = 0;         // clear the previous effective addresses
33:         mmuStat = getCP15(1, 0);       // MMU state
34: }
52:                         // TTBR0/TTBR1(=TopPageTable) is switched
53:                         pte  = 0xfe000000 << (7 - (getCP15(2, 2) & 0x07));
54:                                                                 // TTBCR
55:                         ppte = (addr & pte) ? TopPageTable :
56:                                 (UW *)(getCP15(2, 0) & ~0x7f);      // TTBR0
57:                         pte = ppte[addr >> 20];