adds markers to scheduler for identification for plugins

This commit is contained in:
2026-07-06 12:31:15 +02:00
parent 47e15e1eb9
commit 86c9d25b5f
2 changed files with 4 additions and 0 deletions
+2
View File
@@ -83,6 +83,7 @@ _tx_thread_schedule_loop:
/* }
while(_tx_thread_execute_ptr == TX_NULL); */
scheduler_found_thread:
/* Yes! We have a thread to execute. Lockout interrupts and
transfer control to it. */
csrci mstatus, 0x08 // Lockout interrupts
@@ -300,6 +301,7 @@ _tx_thread_synch_return:
#else
addi sp, sp, 16*REGBYTES // Recover stack frame
#endif
synch_return_exit_label:
ret // Return to thread
/* } */
@@ -99,6 +99,7 @@ _tx_thread_schedule_thread:
/* }
while(_tx_thread_execute_ptr == TX_NULL); */
scheduler_found_thread:
/* Publish the current thread pointer for this hart, then re-check the
execute slot to avoid missing a concurrent execute-pointer update. */
@@ -327,6 +328,7 @@ _tx_thread_synch_return:
#else
addi sp, sp, 16*REGBYTES // Recover stack frame
#endif
synch_return_exit_label:
ret // Return to thread
/* } */