diff options
| author | Andrea Bastoni <bastoni@cs.unc.edu> | 2010-06-12 20:22:16 -0400 |
|---|---|---|
| committer | Andrea Bastoni <bastoni@cs.unc.edu> | 2010-06-12 20:22:16 -0400 |
| commit | d1aa1956eb23202e4d614574f686e53b8785212c (patch) | |
| tree | 3927c01425c698132090cc7d3dd60ece03dc3c94 /usr | |
| parent | 9840983a4f30145bcf0b82b6e2bc8518e7212fb5 (diff) | |
Bugfix: change __ARCH_HAS_SEND_PULL_TIMERS in CONFIG_ARCH_HAS_SEND_PULL_TIMERS
Commit "0c527966 Make release master support optional" uses
__ARCH_HAS_SEND_PULL_TIMERS instead of CONFIG_ARCH_HAS_SEND_PULL_TIMERS
(introduced in commit 0fb33c99) to conditionally compile a pull timer
related code in rt_domain.c. This code is disabled and pull-timer's
state is no longer properly reset. Therefore, a pulled timer cannot be
armed anymore.
Diffstat (limited to 'usr')
0 files changed, 0 insertions, 0 deletions