#include "w32k.h" -> #include <w32k.h>