ia64/xen-unstable

log

age author revision description
2006-02-14 kaf24 8851:ee6f025fb264 Clean up save_init_fpu().
2006-02-14 kaf24 8850:646edff07475 Fix gcc4 build.
2006-02-14 kaf24 8849:70024ebbdf55 Clarify lazy FPU management in VMX domains.