/* XXX */ /* * Dump CPU information from ddb. */