Symbol: kvmppc_dump_regs