After I watched Joe Ballantyne's "Windows 8 kernel debugging: New protocols and certification requirements", I found Visual Studio 2012 is fully integrated with Windbg.

While I am debugging a windows driver, I found it doesn't stop at the red circles.

Does anyone know the reason? or there is a place for breakpoint?

Thanks in advance.