ecard_loader_reset
ecard_loader_reset(res->start, ec->loader);
ecard_loader_reset(unsigned long base, loader_t loader);