ENABLEIPI
#define ENABLEIPI() updateimask(~ipi_mask)
#define ENABLEIPI() updateimask(~CR_INT_1) /* enable IPI interrupt level */