Searched refs:vte_count (Results 1 – 1 of 1) sorted by relevance
100 uint64_t vte_count; /* Number of Veriexec entries. */ member1029 NULL, NULL, 0, &vte->vte_count, 0, CTL_CREATE, CTL_EOL); in veriexec_table_add()1155 vte->vte_count++; in veriexec_file_add()1203 KASSERT(vte->vte_count > 0); in veriexec_file_delete()1204 vte->vte_count--; in veriexec_file_delete()1277 if ((vte != NULL) && (vte->vte_count > 0)) { in veriexec_unmountchk()