Searched refs:margin (Results 1 – 1 of 1) sorted by relevance
526 uint32_t margin = RCL_SCHEDULER_MARGIN_ARM + RCL_SCHEDULER_WAKEUP_MARGIN; in rclSchedulerHwi() local530 margin += RCL_SCHEDULER_MARGIN_CONFIGURE; in rclSchedulerHwi()535 margin += RCL_SCHEDULER_MARGIN_LOAD; in rclSchedulerHwi()539 hal_setup_setup_time(rclSchedulerState.currCmd->timing.absStartTime - margin); in rclSchedulerHwi()