update okcall_x64.h