This file is indexed.

/usr/lib/petscdir/3.4.2/include/petsc-private/dmpatchimpl.h is in libpetsc3.4.2-dev 3.4.2.dfsg1-8.1+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 */