cprover
Loading...
Searching...
No Matches
file Struct Reference

#include <kdev_t.h>

Public Attributes

mode_t f_mode
loff_t f_pos

Detailed Description

Definition at line 19 of file kdev_t.h.

Member Data Documentation

◆ f_mode

mode_t file::f_mode

Definition at line 20 of file kdev_t.h.

◆ f_pos

loff_t file::f_pos

Definition at line 21 of file kdev_t.h.


The documentation for this struct was generated from the following file:
  • /builddir/build/BUILD/cbmc-6.7.0-build/cbmc-cbmc-6.7.0/doc/assets/kdev_t.h