This file is indexed.

/usr/lib/petscdir/3.7.5/x86_64-linux-gnu-complex/include/petsc/private/dmpatchimpl.h is in libpetsc-complex-3.7.5-dev 3.7.5+dfsg1-4+b1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
#if !defined(_PATCHIMPL_H)
#define _PATCHIMPL_H

#include <petscmat.h>     /*I      "petscmat.h"        I*/
#include <petscdmpatch.h> /*I      "petscdmpatch.h"    I*/
#include <petsc/private/dmimpl.h>

typedef struct {
  PetscInt   refct;
  DM         dmCoarse;
  MatStencil patchSize;
  MatStencil commSize;
} DM_Patch;

#endif /* _PATCHIMPL_H */