rxcr
db_printf("xcr0\t0x%016lx\n", rxcr(0));
xcr0 = rxcr(XCR0);
vcpu->guest_xcr0 = rxcr(0);
vmm_host_xcr0 = rxcr(0);
uint32_t val, txcr, rxcr;
rxcr = I2S_RXCR_VDW_16 | I2S_CSR_2;
rxcr |= I2S_RXCR_IBM_NORMAL;
rxcr |= I2S_RXCR_IBM_LJ;
rxcr |= I2S_RXCR_IBM_RJ;
rxcr |= I2S_RXCR_TFS_PCM;
rxcr |= I2S_RXCR_PBM_1;
rxcr |= I2S_RXCR_TFS_PCM;
rxcr |= I2S_RXCR_PBM_2;
RK_I2S_WRITE_4(sc, I2S_RXCR, rxcr);
xcr0 = rxcr(0);
db_printf("xcr0\t0x%016llx\n", rxcr(0));
xcr0 = rxcr(0);