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); |