void alpha_ee_flash_cache(int param_1)

{
  char *pcVar1;
  
  if (init_flag == '\0') {
    return;
  }
  if (param_1 == 1) {
    if (g_EeBuffer_cache == (void *)0x0) {
      os_alloc_mem(0,&g_EeBuffer_cache,0x200);
      if (g_EeBuffer_cache != (void *)0x0) {
        memcpy(g_EeBuffer_cache,EeBuffer,0x200)   //possible issue identified - semgrep
        return;
      }
      pcVar1 = "mem alloc fail\n";
      goto LAB_00053808;
    }
  }
  else if ((param_1 == 0) && (g_EeBuffer_cache != (void *)0x0)) {
    printk("sync cache to flash\n");
    memcpy(EeBuffer,g_EeBuffer_cache,0x200)   //possible issue identified - semgrep
    os_free_mem(0,g_EeBuffer_cache);
    g_EeBuffer_cache = (void *)0x0;
    RtmpFlashWrite(EeBuffer,0x34000,0x200);
    return;
  }
  pcVar1 = "devdata cache mode not change\n";
LAB_00053808:
  printk(pcVar1);
  return;
}