tlb_record_asids
u_int tlb_record_asids(u_long *, uint32_t) __stub;
tlb_record_asids(u_long *bitmap, tlb_asid_t asid_max)
const u_int asids_found = tlb_record_asids(
u_int tlb_record_asids(u_long *, tlb_asid_t);