My question is how to use intrinsics in kernel space (on Windows), when the header file is contained with the SDK (as installed from VC 10) and the WDK which I'm using to compile the driver has no knowledge of this file. When I
Code: Select all
everything works fine but when I start to compile I get#include <intrin.h>
error C1083: Cannot open include file: 'intrin.h': No such file or directoryI tried copying the appropriate files to the WDK directory but it didn't work out. I know I can start writing inline assembly but to be honest I want to refrain from this since the intrinsic support is there I just don't know how to access it. Furthermore the TDL3 source code that is posted here also makes use of some intrinsics, such as __read/write cr0 which makes me believe that it is possible just not using the official channels?