在windbg中用u NtDeviceIoControlFile 得出如下：
nt!NtDeviceIoControlFile:
8056e312 8bff            mov     edi,edi
8056e314 55              push    ebp
8056e315 8bec            mov     ebp,esp
8056e317 6a01            push    1
8056e319 ff752c          push    dword ptr [ebp+2Ch]
8056e31c ff7528          push    dword ptr [ebp+28h]
8056e31f ff7524          push    dword ptr [ebp+24h]
8056e322 ff7520          push    dword ptr [ebp+20h]

但是我在程序中这么处理：
char *p = (char *)NtDeviceIoControlFile;
while(i<19)
{
        DbgPrint(" - 0x%02X ", (unsigned char)p);
        i++;
}
打印出来后这些是一样的！
8bff              mov     edi,edi
55                push    ebp
8bec             mov     ebp,esp
6a01            push    1
其他的就不一样了！

[培训]《安卓高级研修班(网课)》月薪三万计划，掌握调试、分析还原ollvm、vmp的方法，定制art虚拟机自动化脱壳的方法