Re: [PATCH 07/12] cpu_ppc64.c: use typedefs for 'struct ppc64_map'