Subversion Repositories HelenOS-historic

Rev

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

Rev 597 Rev 727
Line 29... Line 29...
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 
#include <arch/types.h>
34 
 
 - 
 
35 
extern void tlb_init(void);
 - 
 
36 
 
 - 
 
37 
#ifdef CONFIG_SMP
 34 
#include <typedefs.h>
38 
extern void tlb_shootdown_start(void);
 - 
 
39 
extern void tlb_shootdown_finalize(void);
 - 
 
40 
extern void tlb_shootdown_ipi_recv(void);
 - 
 
41 
#else
 - 
 
42 
#  define tlb_shootdown_start() ;
 - 
 
43 
#  define tlb_shootdown_finalize()  ;
 - 
 
44 
#  define tlb_shootdown_ipi_recv() ;
 - 
 
45 
#endif /* CONFIG_SMP */
 - 
 
46 
 
 35 
 
47 
/** Type of TLB shootdown message. */
 36 
/** Type of TLB shootdown message. */
48 
enum tlb_invalidate_type {
 37 
enum tlb_invalidate_type {
49 
    TLB_INVL_INVALID = 0,       /**< Invalid type. */
 38 
    TLB_INVL_INVALID = 0,       /**< Invalid type. */
50 
    TLB_INVL_ALL,           /**< Invalidate all entries in TLB. */
 39 
    TLB_INVL_ALL,           /**< Invalidate all entries in TLB. */
51 
    TLB_INVL_ASID,          /**< Invalidate all entries belonging to one address space. */
 40 
    TLB_INVL_ASID,          /**< Invalidate all entries belonging to one address space. */
52 
    TLB_INVL_PAGE           /**< Invalidate one entry for specified page. */
 41 
    TLB_INVL_PAGES          /**< Invalidate specified page range belonging to one address space. */
53 
};
 42 
};
54 
 
 43 
 
55 
typedef enum tlb_invalidate_type tlb_invalidate_type_t;
 44 
typedef enum tlb_invalidate_type tlb_invalidate_type_t;
56 
 
 45 
 
57 
/** TLB shootdown message. */
 46 
/** TLB shootdown message. */
Line 61... Line 50...
61 
    __address page;         /**< Page address. */
 50 
    __address page;         /**< Page address. */
62 
};
 51 
};
63 
 
 52 
 
64 
typedef struct tlb_shootdown_msg tlb_shootdown_msg_t;
 53 
typedef struct tlb_shootdown_msg tlb_shootdown_msg_t;
65 
 
 54 
 
- 
 
 55 
extern void tlb_init(void);
- 
 
 56 
 
- 
 
 57 
#ifdef CONFIG_SMP
- 
 
 58 
extern void tlb_shootdown_start(tlb_invalidate_type_t type, asid_t asid, __address page, count_t cnt);
- 
 
 59 
extern void tlb_shootdown_finalize(void);
- 
 
 60 
extern void tlb_shootdown_ipi_recv(void);
- 
 
 61 
#else
- 
 
 62 
#  define tlb_shootdown_start(w, x, y, z)
- 
 
 63 
#  define tlb_shootdown_finalize()
- 
 
 64 
#  define tlb_shootdown_ipi_recv()
- 
 
 65 
#endif /* CONFIG_SMP */
- 
 
 66 
 
- 
 
 67 
 
66 
/* Export TLB interface that each architecture must implement. */
 68 
/* Export TLB interface that each architecture must implement. */
67 
extern void tlb_arch_init(void);
 69 
extern void tlb_arch_init(void);
68 
extern void tlb_print(void);
 70 
extern void tlb_print(void);
69 
extern void tlb_invalidate(asid_t asid);
 - 
 
70 
extern void tlb_shootdown_ipi_send(void);
 71 
extern void tlb_shootdown_ipi_send(void);
71 
 
 72 
 
72 
extern void tlb_invalidate_all(void);
 73 
extern void tlb_invalidate_all(void);
73 
extern void tlb_invalidate_asid(asid_t asid);
 74 
extern void tlb_invalidate_asid(asid_t asid);
74 
extern void tlb_invalidate_page(asid_t asid, __address page);
 75 
extern void tlb_invalidate_pages(asid_t asid, __address page, count_t cnt);
75 
 
 - 
 
76 
#endif
 76 
#endif