Returns the full name of the hardware platform where the dump was
    written.

    Format

      void sda$get_hw_name (char *buffer_ptr, uint32 buffer_len);