-static inline os_context_t *arch_os_get_context(void **void_context) {
- asm volatile ("ta 0x03"); /* ta ST_FLUSH_WINDOWS */
- return (os_context_t *) (*void_context);
+static inline os_context_t *arch_os_get_context(void **void_context)
+{
+ asm volatile ("ta 0x03"); /* ta ST_FLUSH_WINDOWS */
+ return (os_context_t *) (*void_context);