Searched refs:_asid_pool (Results 1 – 1 of 1) sorted by relevance
376 static rt_uint16_t _asid_pool = 0; in _aspace_get_asid() local385 if (_asid_pool && _asid_pool < MAX_ASID) in _aspace_get_asid()387 asid_to = ++_asid_pool; in _aspace_get_asid()392 asid_to = _asid_pool = 1; in _aspace_get_asid()
Completed in 4 milliseconds