I am running Solaris 10 GA or Solaris 10 U1 in a SMP virtual machine. The guest kernel reports a fault at the following address:
0xbaddcafe (32-bit)
You can solve these and other types of guest-kernel panics by upgrading to Solaris 10 U2 or later.