where to get mlx5_ifc.h and device.h for windows 10 compile

Trying to do a windows version of this example:

https://community.mellanox.com/s/article/basic-verbs-programming--show-devices---code-example?t=1631645044907

In …\MLNX_WinOF2_DevX_SDK\inc\mlx5_ifc_devx. h there are the following references:

#include <…/drivex/mlx5/inc/mlx5_ifc.h>

#include <…/drivex/mlx5/inc/device.h>

I’m guessing these are included in a driver for windows but I can’t find it.