Rev 1787 | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 1084 | palkovsky | 1 | #!/usr/bin/env python |
| 2 | """ |
||
| 3 | Decode 32-bit address into PTE components |
||
| 4 | """ |
||
| 5 | import sys |
||
| 6 | |||
| 7 | def main(): |
||
| 8 | if len(sys.argv) != 2 or not sys.argv[1].startswith('0x'): |
||
| 9 | print "%s 0x..." % sys.argv[0] |
||
| 10 | sys.exit(1) |
||
| 11 | |||
| 12 | address = int(sys.argv[1],16) |
||
| 13 | offset = address & 0xfff |
||
| 14 | ptl1 = (address >> 12) & 0x3ff |
||
| 15 | ptl0 = (address >> 22) & 0x3ff |
||
| 16 | print "Ptl0: %3d" % ptl0 |
||
| 17 | print "Ptl1: %3d" % ptl1 |
||
| 18 | print "Offset: 0x%x" % offset |
||
| 19 | |||
| 20 | if __name__ == '__main__': |
||
| 21 | main() |