Getting current time in kernel mode RRS feed

  • Question

  • In my WDM driver I am using DbgPrint() to see kernel logs of events. I need to also get the time the events are logged. Is there wdm/kmdf specific routines to get the time info? KdPrint/DbgPrint) versions do not seem to have a time flag. Is the c time functions like localtime() allowed in kernel level?
    Monday, August 29, 2016 11:47 AM


All replies