func: sdhci_buff_access_is_sequential(SDHCIState *s, unsigned byte_num)
  
  {
  
      if ((s->data_count & 0x3) != byte_num) {
  
          ERRPRINT("Non-sequential access to Buffer Data Port register"
  
                  "is prohibited\n");
  
          return false;
  
      }
  
      return true;
  
  }
  