* Schedule system call handler. * Implements L4 Schedule interface with PTS support. * * Parameters (from L4 spec): * R0: dest - target thread ID * R1: time_control - timeslice control * R2: processor_control - processor number * R3: prio_control - priority and stride * R4: preemption_control - preemption threshold (PTS) * R5: old_control (output pointer) * * WCET Analysis:
source not stored for this graph (policy: none)
no test coverage detected