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()
91 int libxl_device_vtpm_getinfo(libxl_ctx *ctx, in libxl_device_vtpm_getinfo() function
2176 int libxl_device_vtpm_getinfo(libxl_ctx *ctx, uint32_t domid,
Completed in 9 milliseconds