e3ea652962
On PPC we have a 64-bit time base. Usually (PPC32) this is accessed using two separate 32 bit SPR accesses to SPR_TBU and SPR_TBL. On PPC64 the SPR_TBL register acts as 64 bit though, so we get the full 64 bits as return value. If we only take the lower ones, fine. But Linux wants to see all 64 bits or it breaks. This patch makes PPC64 Linux work even after TB crossed the 32-bit boundary, which usually happened a few seconds after bootup. Signed-off-by: Alexander Graf <agraf@suse.de> Signed-off-by: Aurelien Jarno <aurelien@aurel32.net> |
||
---|---|---|
.. | ||
cpu.h | ||
exec.h | ||
helper_regs.h | ||
helper.c | ||
helper.h | ||
kvm_ppc.c | ||
kvm_ppc.h | ||
kvm.c | ||
machine.c | ||
mfrom_table_gen.c | ||
mfrom_table.c | ||
op_helper.c | ||
STATUS | ||
translate_init.c | ||
translate.c |