Subversion Repositories HelenOS-historic

Rev

Rev 569 | Rev 727 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 569 Rev 597
Line 28... Line 28...
28 
 
 28 
 
29 
#ifndef __TLB_H__
 29 
#ifndef __TLB_H__
30 
#define __TLB_H__
 30 
#define __TLB_H__
31 
 
 31 
 
32 
#include <arch/mm/asid.h>
 32 
#include <arch/mm/asid.h>
- 
 
 33 
#include <arch/types.h>
33 
 
 34 
 
34 
extern void tlb_init(void);
 35 
extern void tlb_init(void);
35 
 
 36 
 
36 
#ifdef CONFIG_SMP
 37 
#ifdef CONFIG_SMP
37 
extern void tlb_shootdown_start(void);
 38 
extern void tlb_shootdown_start(void);
Line 41... Line 42...
41 
#  define tlb_shootdown_start() ;
 42 
#  define tlb_shootdown_start() ;
42 
#  define tlb_shootdown_finalize()  ;
 43 
#  define tlb_shootdown_finalize()  ;
43 
#  define tlb_shootdown_ipi_recv() ;
 44 
#  define tlb_shootdown_ipi_recv() ;
44 
#endif /* CONFIG_SMP */
 45 
#endif /* CONFIG_SMP */
45 
 
 46 
 
- 
 
 47 
/** Type of TLB shootdown message. */
- 
 
 48 
enum tlb_invalidate_type {
- 
 
 49 
    TLB_INVL_INVALID = 0,       /**< Invalid type. */
- 
 
 50 
    TLB_INVL_ALL,           /**< Invalidate all entries in TLB. */
- 
 
 51 
    TLB_INVL_ASID,          /**< Invalidate all entries belonging to one address space. */
- 
 
 52 
    TLB_INVL_PAGE           /**< Invalidate one entry for specified page. */
- 
 
 53 
};
- 
 
 54 
 
- 
 
 55 
typedef enum tlb_invalidate_type tlb_invalidate_type_t;
- 
 
 56 
 
- 
 
 57 
/** TLB shootdown message. */
- 
 
 58 
struct tlb_shootdown_msg {
- 
 
 59 
    tlb_invalidate_type_t type; /**< Message type. */
- 
 
 60 
    asid_t asid;            /**< Address space identifier. */
- 
 
 61 
    __address page;         /**< Page address. */
- 
 
 62 
};
- 
 
 63 
 
- 
 
 64 
typedef struct tlb_shootdown_msg tlb_shootdown_msg_t;
- 
 
 65 
 
46 
/* Export TLB interface that each architecture must implement. */
 66 
/* Export TLB interface that each architecture must implement. */
47 
extern void tlb_arch_init(void);
 67 
extern void tlb_arch_init(void);
48 
extern void tlb_print(void);
 68 
extern void tlb_print(void);
49 
extern void tlb_invalidate(asid_t asid);
 69 
extern void tlb_invalidate(asid_t asid);
50 
extern void tlb_shootdown_ipi_send(void);
 70 
extern void tlb_shootdown_ipi_send(void);
51 
 
 71 
 
- 
 
 72 
extern void tlb_invalidate_all(void);
- 
 
 73 
extern void tlb_invalidate_asid(asid_t asid);
- 
 
 74 
extern void tlb_invalidate_page(asid_t asid, __address page);
- 
 
 75 
 
52 
#endif
 76 
#endif