add definitions of interfaces to support array and mark-sweep gc in CRB_dev.h