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