Symbol: __HYPERCALL_CLOBBER1