12885 efcode: smatch and build errors
Reviewed by: Igor Kozhukhov <igor@dilos.org>
Reviewed by: Andy Fiddaman <andy@omniosce.org>
Approved by: Dan McDonald <danmcd@joyent.com>

6392059 Add sun4v support to the Embedded FCode Interpreter

OpenSolaris Launch