228 } vmrtfrs;  variable
327 	vmrtfrs.vm_rtf_records = zalloc_permanent_tag(size,  in vm_rtfault_record_init()
329 	vmrtfrs.vmrtfr_maxi = vmrtf_num_records - 1;  in vm_rtfault_record_init()
7702 	assert(vmrtfrs.vmrtfr_curi <= vmrtfrs.vmrtfr_maxi);  in vm_record_rtfault()
7704 	vmrtfrs.vmrtf_total++;  in vm_record_rtfault()
7705 	vm_rtfault_record_t *cvmr = &vmrtfrs.vm_rtf_records[vmrtfrs.vmrtfr_curi++];  in vm_record_rtfault()
7715 	if (vmrtfrs.vmrtfr_curi > vmrtfrs.vmrtfr_maxi) {  in vm_record_rtfault()
7716 		vmrtfrs.vmrtfr_curi = 0;  in vm_record_rtfault()
7732 	for (int vmfi = 0; vmfi <= vmrtfrs.vmrtfr_maxi; vmfi++) {  in vmrtf_extract()
7738 		if (vmrtfrs.vm_rtf_records[vmfi].rtfupid != cupid) {  in vmrtf_extract()
7748 		*cvmrd = vmrtfrs.vm_rtf_records[vmfi];  in vmrtf_extract()