Rename xen32 to ia32xen.
[helenos.git] / kernel / arch / ia32xen / src / cpu
blobbb680575674eb6bf33af8acb10d4c637b89e9a32
1 ../../ia32/src/cpu