C++ (Cpp) scull_openの例

コード例 #1

ファイル: scull.c プロジェクト: ssvlab/esbmc-gpu

void thread2() {
  file filp;
  char buf;
  size_t count = 10;
  loff_t off = 0;
  scull_open(tid2, i, filp);
  scull_write(tid2, filp, buf, count, off);
  scull_release(i, filp);
}

コード例 #2

ファイル: scull_true.c プロジェクト: mchalupa/SymDIVINE

void *thread1() {
  file filp;
  char buf;
  size_t count = 10;
  loff_t off = 0;
  scull_open(tid1, i, filp);
  scull_read(tid1, filp, buf, count, off);
  scull_release(i, filp);
}