Searched refs:libxl_device_vtpm_getinfo (Results 1 – 3 of 3) sorted by relevance
98 if(!libxl_device_vtpm_getinfo(ctx, domid, &vtpms[i], &vtpminfo)) { in main_vtpmlist()
107 int libxl_device_vtpm_getinfo(libxl_ctx *ctx, in libxl_device_vtpm_getinfo() function
1934 int libxl_device_vtpm_getinfo(libxl_ctx *ctx, uint32_t domid,
Completed in 7 milliseconds