swap_arm_timer    536 src/core/swap.c                 r = swap_arm_timer(s);
swap_arm_timer    609 src/core/swap.c         r = swap_arm_timer(s);
swap_arm_timer    685 src/core/swap.c                 r = swap_arm_timer(s);