Method patch

Engine/source/console/compiler.h:394–400

   }

   inline void patch(U32 addr, U32 code)
   {
#ifdef DEBUG_CODESTREAM
      printf("patch[%u] = %u\n", addr, code);
#endif
      mPatchList.push_back(PatchEntry(addr, code));
   }

   inline U32 emitSTE(const char *code)
   {