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