_REG32_EIP
if (gr[_REG32_EIP] >= VM_MAXUSER_ADDRESS32)
gr32[_REG32_EIP] = gr[_REG_RIP];
tf->tf_rip = gr[_REG32_EIP];
gr[_REG32_EIP] = tf->tf_rip;
(void *) (uintptr_t)gr[_REG32_EIP])) != (__greg32_t)-1)
gr[_REG32_EIP] = ras_eip;