Searched refs:vmrtfr_maxi (Results 1 – 1 of 1) sorted by relevance
230 int vmrtfr_maxi; member337 vmrtfrs.vmrtfr_maxi = vmrtf_num_records - 1; in vm_rtfault_record_init()7787 assert(vmrtfrs.vmrtfr_curi <= vmrtfrs.vmrtfr_maxi); in vm_record_rtfault()7800 if (vmrtfrs.vmrtfr_curi > vmrtfrs.vmrtfr_maxi) { in vm_record_rtfault()7817 for (int vmfi = 0; vmfi <= vmrtfrs.vmrtfr_maxi; vmfi++) { in vmrtf_extract()