extend functions in c_common-mapping used in the implementation of BA dispatch pattern for sporadic threads