chiark / gitweb /
bootchart: rename global len to samples_len