pykd

1
#
2
#
3
#
4

5
import sys
6
from pykd import *
7

8
def cr4( value = 0 ):
9

10
    if value == 0:
11
        value = reg( "cr4" )
12

13
    dprintln( "CR4: %x (" % value + "".join( [  (  value & ( 1 << ( 31 - i ) ) ) and "1" or "0" for i in range(0,32) ] ) + ")" )
14
    
15
    for i in range (0, 32):
16
        bits = { 0 : "VME", 1 : "PVI", 2 : "TSD",  3 : "DE", 4 : "PSE", 5 : "PAE",  6 : "MCE",  7 : "PGE",  8 : "PCE",  9 : "OSFXSR", 10 : "OSXMMEXCPT",   13 : "VMXE",  14 : "SMXE", 17 : "PCIDE", 18 : "OSXSAVE"  }
17
        if ( ( 1 << ( 31 -i ) ) & value ) and 31-i in bits:
18
            dprint( " " + bits[31-i] )   
19
 
20
    dprintln("")                                          
21

22
   
23
if __name__ == "__main__":
24

25
   if not isWindbgExt():
26
       print "script is launch out of windbg"
27
       quit( 0 )
28

29
   if len(sys.argv) > 1:
30
       cr4( int( sys.argv[1], 16 ) )
31
   else:
32
       cr4()
33
    
34

35

36