1 <module name="w32kdll_xpsp2" type="win32dll" entrypoint="0" installname="w32kdll_xpsp2.dll">
2 <importlibrary definition="w32kdll_xpsp2.def" />
3 <define name="__USE_W32API" />
4 <define name="_WIN32_WINNT">0x0502</define>
5 <file>w32kdll_xpsp2.S</file>