adds a couple print_vmcb()s for the write CR0 -> shutdown bug
[freebsd-src/fkvm-freebsd.git] / sys / contrib / 
treefa06fd218448ea9a138ea19d261c9e8742c5854a
drwxr-xr-x   ..
drwxr-xr-x - altq
drwxr-xr-x - dev
drwxr-xr-x - ia64
drwxr-xr-x - ipfilter
drwxr-xr-x - ngatm
drwxr-xr-x - pf
drwxr-xr-x - rdma