Searched refs:vmrtfr_maxi (Results 1 – 1 of 1) sorted by relevance
228 int vmrtfr_maxi; member344 vmrtfrs.vmrtfr_maxi = vmrtf_num_records - 1; in vm_rtfault_record_init()7683 assert(vmrtfrs.vmrtfr_curi <= vmrtfrs.vmrtfr_maxi); in vm_record_rtfault()7696 if (vmrtfrs.vmrtfr_curi > vmrtfrs.vmrtfr_maxi) { in vm_record_rtfault()7713 for (int vmfi = 0; vmfi <= vmrtfrs.vmrtfr_maxi; vmfi++) { in vmrtf_extract()