dec_ioasic_hpt_read
.read = dec_ioasic_hpt_read,
start = dec_ioasic_hpt_read(&clocksource_dec);
end = dec_ioasic_hpt_read(&clocksource_dec);