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);
}