Rev 1084 | 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() |