#include "Theodosius.h"

MutateRoutine extern "C" void drv_entry()
{
	DbgPrint("> Hello World!\n");
	DbgPrint("> PiDDBCacheTable = 0x%p\n", &PiDDBCacheTable);
	DbgPrint("> win32kfull!NtUserRegisterShellPTPListener = 0x%p\n", &NtUserRegisterShellPTPListener);
}