HelenOS-historicHelenOSHelenOS-doc

Català-Valencià – Catalan中文 – Chinese (Simplified)中文 – Chinese (Traditional)Česky – CzechDansk – DanishNederlands – DutchEnglish – EnglishSuomi – FinnishFrançais – FrenchDeutsch – Germanעברית – Hebrewहिंदी – HindiMagyar – HungarianBahasa Indonesia – IndonesianItaliano – Italian日本語 – Japanese한국어 – KoreanМакедонски – Macedonianमराठी – MarathiNorsk – NorwegianPolski – PolishPortuguês – PortuguesePortuguês – Portuguese (Brazil)Русский – RussianSlovenčina – SlovakSlovenščina – SlovenianEspañol – SpanishSvenska – SwedishTürkçe – TurkishУкраїнська – UkrainianOëzbekcha – Uzbek

Compare Revisions

• This comparison shows the changes necessary to convert path

  → /SPARTAN/trunk/arch/mips32/src/mm/asid.c @ 395

  → /SPARTAN/trunk/arch/mips32/src/mm/asid.c @ 396

  ↔ Reverse comparison

• Compare Path:	Rev

  With Path:	Rev

Ignore whitespace Rev 395 → Rev 396

/SPARTAN/trunk/arch/mips32/src/mm/asid.c
1,5 → 1,6
/*
* Copyright (C) 2005 Martin Decky
* Copyright (C) 2005 Jakub Jermar
* All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
30,9 → 31,8
#include <synch/spinlock.h>
#include <arch.h>
#include <debug.h>
#include <typedefs.h>
#define ASIDS 256
static spinlock_t asid_usage_lock;
static count_t asid_usage[ASIDS]; /**< Usage tracking array for ASIDs */
53,7 → 53,7
pri = cpu_priority_high();
spinlock_lock(&asid_usage_lock);
for (i=0, j = 0; (i<ASIDS); i++) {
for (i = ASID_START, j = ASID_START; i < ASIDS; i++) {
if (asid_usage[i] < min) {
j = i;
min = asid_usage[i];
62,7 → 62,7
}
}
asid_usage[i]++;
asid_usage[j]++;
spinlock_unlock(&asid_usage_lock);
cpu_priority_restore(pri);
83,6 → 83,8
pri = cpu_priority_high();
spinlock_lock(&asid_usage_lock);
ASSERT(asid != ASID_INVALID);
ASSERT(asid_usage[asid] > 0);
asid_usage[asid]--;
89,3 → 91,30
spinlock_unlock(&asid_usage_lock);
cpu_priority_restore(pri);
}
/** Find out whether ASID is used by more address spaces
*
* Find out whether ASID is used by more address spaces.
*
* @param asid ASID in question.
*
* @return True if 'asid' is used by more address spaces, false otherwise.
*/
bool asid_has_conflicts(asid_t asid)
{
bool has_conflicts = false;
pri_t pri;
ASSERT(asid != ASID_INVALID);
pri = cpu_priority_high();
spinlock_lock(&asid_usage_lock);
if (asid_usage[asid] > 1)
has_conflicts = true;
spinlock_unlock(&asid_usage_lock);
cpu_priority_restore(pri);
return has_conflicts;
}