There seems a bug with multi-core in IoCpuIpiDpc function of DriverIo.cpp. I tested the Sysarg2 of the function and found it is not null. So the arg would be dereferenced by ObDereferenceObject(SysArg2), which would cause the error of reference_of_pointer with a blue screen.
I am not sure I was right and welcome with the discussion.
There seems a bug with multi-core in IoCpuIpiDpc function of DriverIo.cpp. I tested the Sysarg2 of the function and found it is not null. So the arg would be dereferenced by ObDereferenceObject(SysArg2), which would cause the error of reference_of_pointer with a blue screen.
I am not sure I was right and welcome with the discussion.