On 09.01.2014, at 16:01, Mihai Caraman <mihai.caraman at freescale.com> wrote: > Use gva_t instead of unsigned int for eaddr in deliver_tlb_miss(). > > Signed-off-by: Mihai Caraman <mihai.caraman at freescale.com> Thanks, applied to kvm-ppc-queue. Alex