mulhdu
return mulhdu(ticks, tb_to_ns_scale) << tb_to_ns_shift;
return mulhdu(get_tb() - boot_tb, tb_to_ns_scale) << tb_to_ns_shift;
return mulhdu(get_vtb() - boot_tb, tb_to_ns_scale) << tb_to_ns_shift;