• Heiko Schocher's avatar
    powerpc/time: printk time stamp init not correct · 364a1246
    Heiko Schocher authored
    problem:
    
    I see sometimes on my mpc5200 based board such printk timing
    information:
    
    [    0.000000] NR_IRQS:512 nr_irqs:512 16
    [    0.000000] MPC52xx PIC is up and running!
    [    0.000000] clocksource: timebase mult[79364d9] shift[22] registered
    [    0.000000] console [ttyPSC0] enabled
    [  130.300633] pid_max: default: 32768 minimum: 301
    [  130.305647] Mount-cache hash table entries: 512
    [  130.315818] NET: Registered protocol family 16
    
    reason:
    if the tbu not starts from 0 when linux boots, boot_tb
    maybe could not store the real 64 bit tbu value, because
    boot_tp is only a 32 bit unsigned long.
    
    solution:
    change boot_tb to u64
    
    [BenH: Made it u64 instead of unsigned long long]
    Signed-off-by: default avatarHeiko Schocher <hs@denx.de>
    cc: Wolfgang Denk <wd@denx.de>
    Signed-off-by: default avatarBenjamin Herrenschmidt <benh@kernel.crashing.org>
    364a1246
time.c 29.4 KB