#define PARAMETERIZED_LIBS
-#define VERBOSE
-
#define INPUT_BUFFER_SIZE 255
#define INDEX 0x1000 /* SSDT index 1 */
void usage(char * argv0)
{
- printf("Usage: %s w32k.lst ssdt.h win32k.c win32k.c\n"
+ printf("Usage: %s w32ksvc.db w32k.lst ssdt.h win32k.c win32k.c\n"
+ " w32ksvc.db input file(system calls database)\n"
" w32k.lst system functions database\n"
" ssdt.h WIN32K service table\n"
" win32k.c GDI32 stubs\n"