ARC_CTRL register inconsistent values about arduinocore-arc32 HOT 5 CLOSED

#include <CurieTimerOne.h>
#include <SPI.h>

#define ATP_BLE_INT     5

uint32_t creg, saved;

void adc_normal_wo_calib_REFERENCE(){
      /* perform power up to "Normal mode w/o calibration" cycle if not already there */
    if( (creg & ADC_MODE_MASK) != ADC_NORMAL_WO_CALIB){

        /* Protect AR_IO_CREG_MST0_CTRL using lock and unlock of interruptions */
        saved = interrupt_lock();
        /* Read current CREG master */
        creg = READ_ARC_REG(AR_IO_CREG_MST0_CTRL);
        creg &= ~(ADC_MODE_MASK);
        /* request ADC to go to Standby mode */
        creg |= ADC_STANDBY | ADC_CLOCK_GATE;
        WRITE_ARC_REG(creg, AR_IO_CREG_MST0_CTRL);
        interrupt_unlock(saved);
        /* Poll CREG Slave 0 for Power Mode status = requested status */
        while ( (creg = READ_ARC_REG(AR_IO_CREG_SLV0_OBSR) & 0x8) == 0);
        /* Protect AR_IO_CREG_MST0_CTRL using lock and unlock of interruptions */
        saved = interrupt_lock();
        creg = READ_ARC_REG(AR_IO_CREG_MST0_CTRL);
        creg &= ~(ADC_MODE_MASK);
        /* request ADC to go to Normal mode w/o calibration */
        creg |= ADC_NORMAL_WO_CALIB | ADC_CLOCK_GATE;
        WRITE_ARC_REG(creg, AR_IO_CREG_MST0_CTRL);
        interrupt_unlock(saved);
        /* Poll CREG Slave 0 for Power Mode status = requested status */
        while ( ((creg = READ_ARC_REG(AR_IO_CREG_SLV0_OBSR)) & 0x8) == 0);
    }

    WRITE_ARC_REG(ADC_CLK_ENABLE | ADC_INT_DSB, ADC_CTRL);
    WRITE_ARC_REG(ADC_CONFIG_SETUP, ADC_SET);
    WRITE_ARC_REG(ADC_CLOCK_RATIO & ADC_CLK_RATIO_MASK, ADC_DIVSEQSTAT);


    Serial.print("ADC_CTRL after write: ");
    Serial.print(ADC_CTRL, BIN);
    Serial.println();

    creg = READ_ARC_REG(ADC_CTRL);
    Serial.print("ADC_CTRL in CREG after write: ");
    Serial.print(ADC_CTRL, BIN);
    Serial.println();
}

void disableADC(){

  creg = READ_ARC_REG(ADC_CTRL);

  Serial.print("ADC_CTRL reg before disabling ADC ");
  Serial.print(creg, BIN);
  Serial.println();

  saved = interrupt_lock();

  creg &= ~(1 << 2);

  creg |= READ_ARC_REG(ADC_CTRL);

  WRITE_ARC_REG(creg, ADC_CTRL);

  interrupt_unlock(saved);

  creg = READ_ARC_REG(ADC_CTRL);

  Serial.print("ADC_CTRL reg after disabling ADC ");
  Serial.print(creg, BIN);
  Serial.println();
}

void setup() {

  Serial.begin(115200);
  while(!Serial);

  adc_normal_wo_calib_REFERENCE();

  creg = READ_ARC_REG(ADC_CTRL);

  Serial.print("In SETUP ADC_CTRL after norm wo calib ");
  Serial.print(creg, BIN);
  Serial.println();

  disableADC();

   creg = READ_ARC_REG(ADC_CTRL);

  Serial.print("In SETUP ADC_CTRL after disableADC() ");
  Serial.print(creg, BIN);
  Serial.println();
}

void loop() {
  // put your main code here, to run repeatedly:
}

#define ADC_CTRL                   (0x80015003)

Serial.print(ADC_CTRL, BIN);

Serial.print(0x80015003, BIN);