| |
| |
| |
| |
| |
| |
| |
| |
| |
| #ifndef PACEMAKER_INTERNAL__H |
| # define PACEMAKER_INTERNAL__H |
| |
| # include <pcmki/pcmki_error.h> |
| # include <pcmki/pcmki_fence.h> |
| # include <pcmki/pcmki_output.h> |
| # include <pcmki/pcmki_sched_allocate.h> |
| # include <pcmki/pcmki_sched_notif.h> |
| # include <pcmki/pcmki_sched_utils.h> |
| # include <pcmki/pcmki_scheduler.h> |
| # include <pcmki/pcmki_transition.h> |
| |
| #endif |