---------------------------------------------------------------------------------
| 48 | |
| 49 | //--------------------------------------------------------------------------------- |
| 50 | osTimeRef_s osGetTimeRef(void) { |
| 51 | //--------------------------------------------------------------------------------- |
| 52 | osTimeRef_s tr; |
| 53 | u32 next = OS_SharedConfig->timeref_cnt; |
| 54 | u32 cur; |
| 55 | |
| 56 | do { |
| 57 | cur = next; |
| 58 | tr = OS_SharedConfig->timeref[cur&1]; |
| 59 | __dmb(); |
| 60 | next = OS_SharedConfig->timeref_cnt; |
| 61 | } while (cur != next); |
| 62 | |
| 63 | return tr; |
| 64 | } |
| 65 | |
| 66 | //--------------------------------------------------------------------------------- |
| 67 | u64 osGetTime(void) { |