instruction_address
instruction_address = entry_sel_off;
FPU_get_user(instruction_address.offset,
FPU_get_user(instruction_address.selector,
instruction_address.offset
+= (instruction_address.selector & 0xf000) << 4;
FPU_get_user(instruction_address.offset,
FPU_get_user(instruction_address.selector,
FPU_get_user(instruction_address.opcode,
FPU_put_user(instruction_address.offset,
FPU_put_user((instruction_address.
FPU_put_user(instruction_address.selector,