[Xen-devel] C/S 19400 breaks 32-bit build

["Cui, Dexuan" <dexuan.cui@xxxxxxxxx>]

e.g., 
void restore_rest_processor_state(void)
{
...
#else /* !defined(CONFIG_X86_64) */
    if ( supervisor_mode_kernel && cpu_has_sep )
        wrmsr(MSR_IA32_SYSENTER_ESP, &t->esp1, 0);       ========>  t is not 
defined previously.
#endif

Thanks,
-- Dexuan
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel