1 /* 2 * Copyright 2019 the Pacemaker project contributors 3 * 4 * The version control history for this file may have further details. 5 * 6 * This source code is licensed under the GNU Lesser General Public License 7 * version 2.1 or later (LGPLv2.1+) WITHOUT ANY WARRANTY. 8 */ 9 10 #ifndef PACEMAKER_INTERNAL__H 11 # define PACEMAKER_INTERNAL__H 12 13 # include <pcmki/pcmki_error.h> 14 # include <pcmki/pcmki_fence.h> 15 # include <pcmki/pcmki_output.h> 16 # include <pcmki/pcmki_sched_allocate.h> 17 # include <pcmki/pcmki_sched_notif.h> 18 # include <pcmki/pcmki_sched_utils.h> 19 # include <pcmki/pcmki_scheduler.h> 20 # include <pcmki/pcmki_transition.h> 21 22 #endif