void do_entry(unsigned long entry, void *stack_frame, int stack_frame_cnt, void *exitf);
void do_patches(void *ptr, unsigned int size);
void do_entry(unsigned long entry, void *stack_frame, int stack_frame_cnt, void *exitf);
void do_patches(void *ptr, unsigned int size);