search for: kdprint

Displaying 4 results from an estimated 4 matches for "kdprint".

Did you mean: dprint
2007 Nov 02
0
[PATCH] PVWin: Fix warnings
...evt_words = _InterlockedExchange(&vcpu_info->evtchn_pending_sel, 0); + evt_words = _InterlockedExchange((volatile LONG *)&vcpu_info->evtchn_pending_sel, 0); while (_BitScanForward(&evt_word, evt_words)) { @@ -68,7 +67,7 @@ EvtChn_InterruptDpc(WDFINTERRUPT Interru KdPrint((__DRIVER_NAME " Calling Handler for port %d\n", port)); ev_action->ServiceRoutine(NULL, ev_action->ServiceContext); } - _interlockedbittestandreset(&shared_info_area->evtchn_pending[0], port); + _interlockedbittestandreset((volatile LONG *)&...
2008 Nov 09
0
another windows debugging tip
Something else I just discovered to make capturing DbgPrint and KdPrint output from Windows (I use this a lot in debugging gplpv drivers): . Make sure "serial=''pty''" is in your windomu config . Run DebugView from SysInternals . Enabled Kernel Capture . Log to a file - type ''com1'' as the filename . xm console will now show...
2008 Nov 09
0
another windows debugging tip
Something else I just discovered to make capturing DbgPrint and KdPrint output from Windows (I use this a lot in debugging gplpv drivers): . Make sure "serial=''pty''" is in your windomu config . Run DebugView from SysInternals . Enabled Kernel Capture . Log to a file - type ''com1'' as the filename . xm console will now show...
2017 Jan 05
2
xml config nested
...l the internal implementation of the following windows7 virtual machine kernel interface calls are as follows: if (!FeatrueControlMsr.fields.enable_vmxon) { MyWriteFile(FileHanle, "Bios设置没有开启虚拟化\n", strlen("Bios设置没有开启虚拟化\n"), &ReturnLen); MyCloseFile(FileHanle); KdPrint(("Bios设置没有开启虚拟化")); return FALSE; } in conclusion: Through this kernel interface to determine the result is: Bios settings do not turn on virtualization How to solve this problem? Hope to get your help. thank you very much。