(gdb_type, addr)
return int(gdb.Value(addr).cast(gdb_type.pointer()).dereference())
readtype(gdb_type, addr) -> int

    Reads an integer-type (e.g. ``uint64``) and returns a Python
    native integer representation of the same.

    Arguments:
        gdb_type(gdb.Type): GDB type to read
        addr(int): Address at which the value to be read resides

    Returns:
        :class:`int`
readtype(gdb_type, addr) -> int
readtype ( gdb_type addr ) - > int
def readtype(gdb_type, addr):
    """readtype(gdb_type, addr) -> int

    Reads an integer-type (e.g. ``uint64``) and returns a Python
    native integer representation of the same.

    Arguments:
        gdb_type(gdb.Type): GDB type to read
        addr(int): Address at which the value to be read resides

    Returns:
        :class:`int`
    """
    return int(gdb.Value(addr).cast(gdb_type.pointer()).dereference())
def readtype ( gdb_type , addr ) : return int ( gdb . Value ( addr ) . cast ( gdb_type . pointer ( ) ) . dereference ( ) )