Searched refs:vmrtfr_maxi (Results 1 – 1 of 1) sorted by relevance
270 int vmrtfr_maxi; member377 vmrtfrs.vmrtfr_maxi = vmrtf_num_records - 1; in vm_rtfault_record_init()8159 assert(vmrtfrs.vmrtfr_curi <= vmrtfrs.vmrtfr_maxi); in vm_record_rtfault()8172 if (vmrtfrs.vmrtfr_curi > vmrtfrs.vmrtfr_maxi) { in vm_record_rtfault()8189 for (int vmfi = 0; vmfi <= vmrtfrs.vmrtfr_maxi; vmfi++) { in vmrtf_extract()