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

#include <kdev_t.h>

Public Attributes

kdev_t i_rdev

Detailed Description

Definition at line 15 of file kdev_t.h.

Member Data Documentation

◆ i_rdev

kdev_t inode::i_rdev

Definition at line 16 of file kdev_t.h.


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