R_EIP
M.x86.R_EIP = bios_physical_address(state, halt);
printk("EIP=%08x\n\t", M.x86.R_EIP);
push_long(M.x86.R_EIP);
M.x86.R_EIP = ip32 & 0xffff;
M.x86.R_EIP = ip16;
ip += (u32) M.x86.R_EIP;
M.x86.R_EIP = (u32) ip;
M.x86.R_EIP = ip & 0xffff;
push_long(M.x86.R_EIP);
M.x86.R_EIP = faroff & 0xffff;