OPENPIC_IPI_VECTOR
x = u3_ht_read(u3_ht, OPENPIC_IPI_VECTOR(1));
u3_ht_write(u3_ht, OPENPIC_IPI_VECTOR(1), x);
openpic_write(OPENPIC_IPI_VECTOR(0), OPENPIC_IMASK);
x = openpic_read(OPENPIC_IPI_VECTOR(0));
x = bswap32(openpic_read(OPENPIC_IPI_VECTOR(1)));
x = openpic_read(OPENPIC_IPI_VECTOR(1));
openpic_write(OPENPIC_IPI_VECTOR(1), x);