/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); |
} |