INIT_TSEM_INT_TABLE_DATA
data = INIT_TSEM_INT_TABLE_DATA(bp);
INIT_TSEM_INT_TABLE_DATA(bp) = bp->firmware->data +