232 } vmrtfrs;  variable
342 	vmrtfrs.vm_rtf_records = zalloc_permanent_tag(size,  in vm_rtfault_record_init()
344 	vmrtfrs.vmrtfr_maxi = vmrtf_num_records - 1;  in vm_rtfault_record_init()
7728 	assert(vmrtfrs.vmrtfr_curi <= vmrtfrs.vmrtfr_maxi);  in vm_record_rtfault()
7730 	vmrtfrs.vmrtf_total++;  in vm_record_rtfault()
7731 	vm_rtfault_record_t *cvmr = &vmrtfrs.vm_rtf_records[vmrtfrs.vmrtfr_curi++];  in vm_record_rtfault()
7741 	if (vmrtfrs.vmrtfr_curi > vmrtfrs.vmrtfr_maxi) {  in vm_record_rtfault()
7742 		vmrtfrs.vmrtfr_curi = 0;  in vm_record_rtfault()
7758 	for (int vmfi = 0; vmfi <= vmrtfrs.vmrtfr_maxi; vmfi++) {  in vmrtf_extract()
7764 		if (vmrtfrs.vm_rtf_records[vmfi].rtfupid != cupid) {  in vmrtf_extract()
7774 		*cvmrd = vmrtfrs.vm_rtf_records[vmfi];  in vmrtf_extract()