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

  → /kernel/ @ 596

  → /kernel/ @ 597

  ↔ Reverse comparison

• Compare Path:	Rev

  With Path:	Rev

Ignore whitespace Rev 596 → Rev 597

/kernel/trunk/generic/include/mm/tlb_cmd.h
File deleted

/kernel/trunk/generic/include/mm/tlb.h
30,6 → 30,7
#define __TLB_H__
#include <arch/mm/asid.h>
#include <arch/types.h>
extern void tlb_init(void);
43,6 → 44,25
# define tlb_shootdown_ipi_recv() ;
#endif /* CONFIG_SMP */
/** Type of TLB shootdown message. */
enum tlb_invalidate_type {
TLB_INVL_INVALID = 0, /**< Invalid type. */
TLB_INVL_ALL, /**< Invalidate all entries in TLB. */
TLB_INVL_ASID, /**< Invalidate all entries belonging to one address space. */
TLB_INVL_PAGE /**< Invalidate one entry for specified page. */
};
typedef enum tlb_invalidate_type tlb_invalidate_type_t;
/** TLB shootdown message. */
struct tlb_shootdown_msg {
tlb_invalidate_type_t type; /**< Message type. */
asid_t asid; /**< Address space identifier. */
__address page; /**< Page address. */
};
typedef struct tlb_shootdown_msg tlb_shootdown_msg_t;
/* Export TLB interface that each architecture must implement. */
extern void tlb_arch_init(void);
extern void tlb_print(void);
49,4 → 69,8
extern void tlb_invalidate(asid_t asid);
extern void tlb_shootdown_ipi_send(void);
extern void tlb_invalidate_all(void);
extern void tlb_invalidate_asid(asid_t asid);
extern void tlb_invalidate_page(asid_t asid, __address page);
#endif

/kernel/trunk/arch/amd64/include/asm.h
32,10 → 32,9
#include <arch/types.h>
#include <config.h>
extern void asm_delay_loop(__u32 t);
extern void asm_fake_loop(__u32 t);
void asm_delay_loop(__u32 t);
void asm_fake_loop(__u32 t);
/** Return base address of current stack.
*
* Return the base address of the current stack.
228,6 → 227,14
return ip;
}
/** Invalidate TLB Entry.
*
* @param addr Address on a page whose TLB entry is to be invalidated.
*/
static inline void invlpg(__address addr)
{
__asm__ volatile ("invlpg %0\n" :: "m" (addr));
}
extern size_t interrupt_handler_size;
extern void interrupt_handlers(void);

/kernel/trunk/arch/ia32/include/asm.h
42,8 → 42,8
extern void enable_l_apic_in_msr(void);
void asm_delay_loop(__u32 t);
void asm_fake_loop(__u32 t);
extern void asm_delay_loop(__u32 t);
extern void asm_fake_loop(__u32 t);
/** Halt CPU
235,4 → 235,13
return ip;
}
/** Invalidate TLB Entry.
*
* @param addr Address on a page whose TLB entry is to be invalidated.
*/
static inline void invlpg(__address addr)
{
__asm__ volatile ("invlpg %0\n" :: "m" (addr));
}
#endif

/kernel/trunk/arch/ia32/src/mm/tlb.c
29,6 → 29,7
#include <mm/tlb.h>
#include <arch/mm/asid.h>
#include <arch/asm.h>
#include <arch/types.h>
/** Invalidate all TLB entries
*
40,3 → 41,28
{
write_cr3(read_cr3());
}
/** Invalidate all entries in TLB. */
void tlb_invalidate_all(void)
{
write_cr3(read_cr3());
}
/** Invalidate all entries in TLB that belong to specified address space.
*
* @param asid This parameter is ignored as the architecture doesn't support it.
*/
void tlb_invalidate_asid(asid_t asid)
{
tlb_invalidate_all();
}
/** Invalidate TLB entry for specified page belongs to specified address space.
*
* @param asid This parameter is ignored as the architecture doesn't support it.
* @param page Address of the page whose entry is to be invalidated.
*/
void tlb_invalidate_page(asid_t asid, __address page)
{
invlpg(page);
}