Rev 4482 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4482 | Rev 4523 | ||
|---|---|---|---|
| Line 85... | Line 85... | ||
| 85 | * Prevent other threads to execute printf_core() |
85 | * Prevent other threads to execute printf_core() |
| 86 | */ |
86 | */ |
| 87 | futex_down(&printf_futex); |
87 | futex_down(&printf_futex); |
| 88 | 88 | ||
| 89 | /* |
89 | /* |
| 90 | * Prevent other pseudo threads of the same thread |
90 | * Prevent other fibrils of the same thread |
| 91 | * to execute printf_core() |
91 | * to execute printf_core() |
| 92 | */ |
92 | */ |
| 93 | async_serialize_start(); |
93 | async_serialize_start(); |
| 94 | 94 | ||
| 95 | int ret = printf_core(fmt, &ps, ap); |
95 | int ret = printf_core(fmt, &ps, ap); |