pcn_csr_read
static uint32_t pcn_csr_read(pcn_t *, uint32_t);
chipid = pcn_csr_read(pcnp, PCN_CSR_CHIPID1);
chipid |= pcn_csr_read(pcnp, PCN_CSR_CHIPID0);
if ((val = pcn_csr_read(pcnp, PCN_CSR_EXTCTL1)) &
pcn_csr_write(pcnp, reg, pcn_csr_read(pcnp, reg) | (x))
pcn_csr_write(pcnp, reg, pcn_csr_read(pcnp, reg) & ~(x))
while ((status = pcn_csr_read(pcnp, PCN_CSR_CSR)) & PCN_CSR_INTR) {
status2 = pcn_csr_read(pcnp, PCN_CSR_EXTCTL2);