PICNIC_INT_KBMS
if (r & PICNIC_INT_KBMS) {
r &= ~PICNIC_INT_KBMS;
[0] = { NULL, NULL, PICNIC_INT4_MASK_REG, PICNIC_INT_KBMS },