mmPSOC_TIMESTAMP_BASE
WREG32(mmPSOC_TIMESTAMP_BASE - CFG_BASE, 0);
WREG32(mmPSOC_TIMESTAMP_BASE - CFG_BASE + 0xC, 0);
WREG32(mmPSOC_TIMESTAMP_BASE - CFG_BASE + 0x8, 0);
WREG32(mmPSOC_TIMESTAMP_BASE - CFG_BASE, 1);
WREG32(mmPSOC_TIMESTAMP_BASE - CFG_BASE, 0);
WREG32(mmPSOC_TIMESTAMP_BASE, 0);
WREG32(mmPSOC_TIMESTAMP_BASE + 0xC, 0);
WREG32(mmPSOC_TIMESTAMP_BASE + 0x8, 0);
WREG32(mmPSOC_TIMESTAMP_BASE, 1);
WREG32(mmPSOC_TIMESTAMP_BASE, 0);
WREG32(mmPSOC_TIMESTAMP_BASE - CFG_BASE, 0);
WREG32(mmPSOC_TIMESTAMP_BASE - CFG_BASE + 0xC, 0);
WREG32(mmPSOC_TIMESTAMP_BASE - CFG_BASE + 0x8, 0);
WREG32(mmPSOC_TIMESTAMP_BASE - CFG_BASE, 1);
WREG32(mmPSOC_TIMESTAMP_BASE - CFG_BASE, 0);