Searched refs:vmrtfr_maxi (Results 1 – 1 of 1) sorted by relevance
277 int vmrtfr_maxi; member384 vmrtfrs.vmrtfr_maxi = vmrtf_num_records - 1; in vm_rtfault_record_init()8620 assert(vmrtfrs.vmrtfr_curi <= vmrtfrs.vmrtfr_maxi); in vm_record_rtfault()8633 if (vmrtfrs.vmrtfr_curi > vmrtfrs.vmrtfr_maxi) { in vm_record_rtfault()8650 for (int vmfi = 0; vmfi <= vmrtfrs.vmrtfr_maxi; vmfi++) { in vmrtf_extract()