python - ctypesの使用中にPythonでセグメンテーション違反

Question

Python を使用してハードウェア (FPGA) でいくつかのレジスタを読み取ろうとしています。レジスタを読み取るための C コードが既にあり、正常に動作します。ctypesを使ってpythonで使いたいです。

rdaxi.c

#include <fcntl.h>
#include <sys/ioctl.h>
#include <stdio.h>
#include <stdint.h>
#include <string.h>

#define NF10_IOCTL_CMD_READ_STAT (SIOCDEVPRIVATE+0)
#define NF10_IOCTL_CMD_WRITE_REG (SIOCDEVPRIVATE+1)
#define NF10_IOCTL_CMD_READ_REG (SIOCDEVPRIVATE+2)  

int main(int argc, char* argv[]){
    int f;
    uint64_t v;
    uint64_t addr;

    if(argc < 2){
        printf("usage: rdaxi reg_addr(in hex)\n\n");
        return 0;
    }
    else{
        sscanf(argv[1], "%llx", &addr);
    }

    //----------------------------------------------------
    //-- open nf10 file descriptor
    //----------------------------------------------------
    f = open("/dev/nf10", O_RDWR);
    if(f < 0){
        perror("/dev/nf10");
        return 0;
    }

    printf("\n");

    v = addr;
    if(ioctl(f, NF10_IOCTL_CMD_READ_REG, &v) < 0){
        perror("nf10 ioctl failed");
        return 0;
    }
    // upper 32bits contain the address and are masked away here
    // lower 32bits contain the data
    v &= 0xffffffff;

    printf("AXI reg 0x%llx=0x%llx\n", addr, v);

    printf("\n");

    close(f);

    return 0;
}

コンパイルして実行可能ファイルを取得した後、次のようにして結果を取得します

./rdaxi 0x5a000008
AXI reg 0x5a000008 = 2

Python を使って同じことをしたいのですが、Ctypes を使わなければならないことがわかりました。次に、c ファイル用の共有ライブラリ (.so) を作成しました。以下は、私が書いた Python コードです。私はPythonの初心者なので、私のエラーを許してください。セグメンテーション違反が発生します。これを解決してレジスタを読み取るにはどうすればよいですか。

rdaxi.py

#!/usr/bin/env python

# For creating shared library
# gcc -c -Wall -fPIC rdaxi.c
# gcc -shared -o librdaxi.so rdaxi.o



import os
import sys
from ctypes import *
print "opening device descriptor"
nf = os.open( "/dev/nf10", os.O_RDWR )
print "loading the .so file"
librdaxi=cdll.LoadLibrary('/root/Desktop/apps/librdaxi.so')
librdaxi.main(nf,0x5b000008)

私のアプリケーションの詳細については。下記を参照してください。 Pythonを使用してハードウェアでレジスタを読み取る

ありがとう