AH_MARK_RESET_DONE
OS_MARK(ah, AH_MARK_RESET_DONE, 0);
OS_MARK(ah, AH_MARK_RESET_DONE, ecode);
OS_MARK(ah, AH_MARK_RESET_DONE, 0);
OS_MARK(ah, AH_MARK_RESET_DONE, ecode);
OS_MARK(ah, AH_MARK_RESET_DONE, 0);
OS_MARK(ah, AH_MARK_RESET_DONE, ecode);