kernel_arch_powerpc.xml \
kernel_arch_ppc.xml \
kernel_arch_x86_64.xml \
kernel_arch_powerpc.xml \
kernel_arch_ppc.xml \
kernel_arch_x86_64.xml \
locking.xml \
memory.xml \
network.xml \
process.xml \
socket.xml \
locking.xml \
memory.xml \
network.xml \
process.xml \
socket.xml \
statedump.xml \
timer.xml \
user_generic.xml \
statedump.xml \
timer.xml \
user_generic.xml \
kernel_arch_powerpc.xml \
kernel_arch_ppc.xml \
kernel_arch_x86_64.xml \
kernel_arch_powerpc.xml \
kernel_arch_ppc.xml \
kernel_arch_x86_64.xml \
locking.xml \
memory.xml \
network.xml \
process.xml \
socket.xml \
locking.xml \
memory.xml \
network.xml \
process.xml \
socket.xml \
statedump.xml \
timer.xml \
user_generic.xml \
statedump.xml \
timer.xml \
user_generic.xml \