Is there a way to tell stap where to find include headers?

[Frank Ch. Eigler]

"Lan, Jay" <jay.lan@hpe.com> writes:

> I am new to systemtap and am writing a systemtap script on Mellanox
> OFED ('mofed') kernel modules. The mofed provides its subset of kernel
> include files at different location from that of a kernel-devel. The
> mofed header files should be checked ahead of those from kernel-devel.
>
> Is there a way to tell stap where to find the mofed header files?

systemtap looks for headers in a couple of contexts: tracepoints (for
trace("...") probes), type declarations (for @cast ops).  For the
former, not sure.
For the latter,
   @cast(ptr, "typename", "kernel</path/to/header>")->field
does work.

- FChE