Module platform_timer

Platform-specific timer implementations for preemptive scheduling

Modules

linux_timer

Platform-specific timer implementation for Linux using timerfd

Functions

clear_preemption_pending

Clear preemption pending flag

get_preemption_count

Get total preemption count for statistics

init_preemption_timer

Initialize platform-appropriate preemption timer

is_preemption_pending

Check if preemption is pending (called from normal context)

preemption_checkpoint

Preemption checkpoint - should be called regularly from normal code This is where actual scheduling decisions are made, outside signal context

signal_safe_handler^⚠

Signal handler that just sets a flag - actual scheduling happens outside signal context

stop_preemption_timer

Stop platform-appropriate preemption timer