!<thin>
//                                              84        `
timer-of.o/
timer-probe.o/
mmio.o/
arm_arch_timer.o/
timer-sp804.o/
dummy_timer.o/

/0              0           0     0     644     4792      `
/12             0           0     0     644     3184      `
/27             0           0     0     644     3632      `
/35             0           0     0     644     44904     `
/53             0           0     0     644     13464     `
/68             0           0     0     644     3880      `