Home
last modified time | relevance | path

Searched refs:gtsc_khz (Results 1 – 3 of 3) sorted by relevance

/tools/libs/ctrl/
A Dxc_domain.c822 uint32_t gtsc_khz, in xc_domain_set_tsc_info() argument
830 domctl.u.tsc_info.gtsc_khz = gtsc_khz; in xc_domain_set_tsc_info()
839 uint32_t *gtsc_khz, in xc_domain_get_tsc_info() argument
852 *gtsc_khz = domctl.u.tsc_info.gtsc_khz; in xc_domain_get_tsc_info()
/tools/misc/
A Dxen-hvmctx.c76 printf(" gtsc_khz %lu\n", (unsigned long) h.gtsc_khz); in dump_header()
/tools/include/
A Dxenctrl.h1250 uint32_t gtsc_khz,
1257 uint32_t *gtsc_khz,

Completed in 16 milliseconds