Rename xen32 to ia32xen.
[helenos.git] / kernel / arch / ia32xen / src / fpu_context.c
blobdbc28d86a45180de932832bba2279b7fe70c1266
1 ../../ia32/src/fpu_context.c