kprintf("hptime_to_us(10000)=%lu\n", hptime_to_us(10000));
kprintf("us_to_hptime(100)=%lu\n", us_to_hptime(100));
kprintf("us_to_hptime(10000)=%lu\n", us_to_hptime(10000));
kprintf("hptime_to_us(10000)=%lu\n", hptime_to_us(10000));
kprintf("us_to_hptime(100)=%lu\n", us_to_hptime(100));
kprintf("us_to_hptime(10000)=%lu\n", us_to_hptime(10000));