setup_schedctl
extern volatile sc_shared_t *setup_schedctl(void);
(scp = setup_schedctl()) == NULL) { /* can't happen? */
(scp = setup_schedctl()) != NULL) {
(scp = setup_schedctl()) != NULL)
(scp = setup_schedctl()) != NULL) {
(scp = setup_schedctl()) != NULL) &&
(scp = setup_schedctl()) != NULL)
volatile sc_shared_t *scp = setup_schedctl();
(void) setup_schedctl();
(scp = setup_schedctl()) != NULL) {
(void) setup_schedctl();
(void) setup_schedctl();
(void) setup_schedctl();