2

カーネル モジュールを使用して実行時にハードウェア構成を変更する FPGA システム オン チップ システムを作成しています。彼らのシステムは Linux 2.6 と LEON3 CPU (SPARC) を使用しています。一部のビットファイルは正常に動作しますが、特定のビットファイルでは、「カーネルの不正な命令」または「仮想アドレス x でカーネル ページング要求を処理できません」というメッセージが表示されます。別の方法でテストしたため、ハードウェアが正しいと確信しており、変更するハードウェアは CPU とは関係ありません。ソフトウェア/カーネルモジュールのエラーだと思います。これは、カーネル モジュールの書き込みメソッドへの 14 回目のエントリの後で発生します。デバッグをどこから始めればよいかわかりません。どんな助けでも大歓迎です。

# cat x > /dev/y
Unable to handle kernel paging request at virtual address 00001000
tsk->{mm,active_mm}->context = 00000045
tsk->{mm,active_mm}->pgd = fc013400
              \|/ ____ \|/
              "@'/ ,. \`@"
              /_| \__/ |_\
                 \__U_/
cat(86): Oops [#1]
PSR: f30000c7 PC: f0089e90 NPC: f0089e94 Y: 00000000    Not tainted
PC: <vfs_write+0xb8/0x148>
%G: 80080000 00001000  00000001 fd000100  00000dae f09c4370  fbca0000 0000fffb
%O: 00001000 00000003  00001000 fe60e5dc  fe60e430 fe60e420  fbca1e80 f0089e80
RPC: <vfs_write+0xa8/0x148>
%L: fbdcad40 00000000  fbca1e78 00000004  fbc0e940 00000000  fbdd2000 f0035784
%I: 00001000 efe07b50  00001000 fbca1f40  00000000 00000000  000007af 000007af
Disabling lock debugging due to kernel taint
Caller[000007af]: 0x7af
Instruction DUMP: d204200c  f602600c  c416e072 <84088001> 03000010  80a08001  02
800018  b2102002  c404201c
Killed
#

カーネルモジュールの書き込み方法:

ssize_t icap_write( struct file *filp, char *buf, size_t count, loff_t *f_pos) {
unsigned long words, data, *pdata, mem_loc_temp;

pdata = (unsigned long *)buf;
mem_loc_temp = icap_mem_loc;//reset mem_loc_temp

while((pdata < (buf + count)) && (mem_loc_temp < icap_mem_loc+4096)){
        leon_store_reg(mem_loc_temp,*pdata);
        pdata++;
        mem_loc_temp+=4;
    }
}

これは私の問題だと思います。pdata が限界を超えています。次のように変更することは実行可能な修正ですか: --------------更新されたコード-------------

unsigned long *pdata;
static int __init icap_init(void) {
...
pdata = (unsigned long *)kmalloc(mem_size*sizeof(char), GFP_KERNEL);
...
}

ssize_t icap_write( struct file *filp, const char *buf,
                  size_t count, loff_t *f_pos) {

int i, cycles, spins;
ssize_t result;

if(count%4 != 0){
    printk(KERN_INFO "ERROR: count = %d is not a multiple of 4. count mod 4 = %u\n Assuming 0 padding for last word. Configuration may not have completed as expected.",count, count%4);
    //return count;
}

result = copy_from_user(pdata, buf, count);
if (result) {
    printk(KERN_INFO "copy_from_user failed, returned: %d\n.", result);
    return -EINVAL; 
}
spins = 0;
while((leon_load_reg(ctrl_mem_loc+8) & 0x10) == 0){//check done
    spins++;//spin on NOT done
}
if (spins > 0)
    printk(KERN_INFO "%d spins\n", spins);

leon_store_reg(ctrl_mem_loc+8, 0);//deassert start

if(count == 4096){
    cycles=min((unsigned long)1024, (unsigned long)mem_size/4);
}else if((count > 0) && (count < 4096)){
    cycles=min(((unsigned long)count+3)/4, (unsigned long)mem_size/4);
}else{
    printk(KERN_INFO "ERROR: count > 4096\n");
    cycles = 0;
}

for(i = 0; i < cycles; i++){
    leon_store_reg(icap_mem_loc+4*i, pdata[i]);
}

leon_store_reg(ctrl_mem_loc, cycles);//set number of samples
leon_store_reg(ctrl_mem_loc+8, 0x1);//set start high

return count;
}
4

1 に答える 1