Searched refs:asid_count (Results 1 – 1 of 1) sorted by relevance
99 static uint8_t asid_count = 3; variable808 __ASSERT(asid_count < (XTENSA_MMU_SHARED_ASID), "Reached maximum of ASID available"); in arch_mem_domain_init()818 domain->arch.asid = asid_count; in arch_mem_domain_init()831 domain->arch.asid = ++asid_count; in arch_mem_domain_init()
