drm/vmwgfx/vmwgfx_msg.c

710  * @pstat: Pointer to array of MKSGuestStatCounterTime.
717 	MKSGuestStatCounterTime *pstat, MKSGuestStatInfoEntry *pinfo, char *pstrs)
726 	pinfo[stat_idx].stat.counterTime = &pstat[stat_idx];
746 	MKSGuestStatCounterTime *pstat;
757 	pstat = vmw_mksstat_get_kern_pstat(pdesc);
763 	pstrs_acc = mksstat_init_record_time(MKSSTAT_KERN_EXECBUF, pstat, pinfo, pstrs_acc);
764 	pstrs_acc = mksstat_init_record_time(MKSSTAT_KERN_COTABLE_RESIZE, pstat, pinfo, pstrs_acc);
772 	pdesc->statStartVA = (uintptr_t)pstat;
774 	pdesc->statLength = sizeof(*pstat) * MKSSTAT_KERN_COUNT;
780 	pdesc->statPPNs[0] = page_to_pfn(virt_to_page(pstat));