Symbol: KINST_TRAMP_SIZE