its_return_thunk
extern void its_return_thunk(void);
if (x86_return_thunk != its_return_thunk)
set_return_thunk(its_return_thunk);