Rev 2272 | Rev 3134 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2272 | Rev 3133 | ||
|---|---|---|---|
| Line 55... | Line 55... | ||
| 55 | #define read_barrier() \ |
55 | #define read_barrier() \ |
| 56 | asm volatile ("membar #LoadLoad\n" ::: "memory") |
56 | asm volatile ("membar #LoadLoad\n" ::: "memory") |
| 57 | #define write_barrier() \ |
57 | #define write_barrier() \ |
| 58 | asm volatile ("membar #StoreStore\n" ::: "memory") |
58 | asm volatile ("membar #StoreStore\n" ::: "memory") |
| 59 | 59 | ||
| - | 60 | static inline void flush(uintptr_t addr) |
|
| - | 61 | { |
|
| - | 62 | asm volatile ("flush %0\n" :: "r" (addr) : "memory"); |
|
| - | 63 | } |
|
| - | 64 | ||
| 60 | /** Flush Instruction Memory instruction. */ |
65 | /** Flush Instruction Memory instruction. */ |
| 61 | static inline void flush(void) |
66 | static inline void flush_blind(void) |
| 62 | { |
67 | { |
| 63 | /* |
68 | /* |
| 64 | * The FLUSH instruction takes address parameter. |
69 | * The FLUSH instruction takes address parameter. |
| 65 | * As such, it may trap if the address is not found in DTLB. |
70 | * As such, it may trap if the address is not found in DTLB. |
| 66 | * |
71 | * |
| Line 77... | Line 82... | ||
| 77 | static inline void membar(void) |
82 | static inline void membar(void) |
| 78 | { |
83 | { |
| 79 | asm volatile ("membar #Sync\n"); |
84 | asm volatile ("membar #Sync\n"); |
| 80 | } |
85 | } |
| 81 | 86 | ||
| - | 87 | #define smc_coherence(a) \ |
|
| - | 88 | { \ |
|
| - | 89 | write_barrier(); \ |
|
| - | 90 | flush((a)); \ |
|
| - | 91 | } |
|
| - | 92 | ||
| 82 | #endif |
93 | #endif |
| 83 | 94 | ||
| 84 | /** @} |
95 | /** @} |
| 85 | */ |
96 | */ |