// SPDX-License-Identifier: GPL-2.0
#include <linux/kernel.h>
#include <linux/module.h>
#include <linux/init.h>
#include <linux/rv.h>
#include <linux/kallsyms.h>

#define MODULE_NAME "deadline"

#include "deadline.h"

struct rv_monitor rv_deadline = {
        .name = "deadline",
        .description = "container for several deadline scheduler specifications.",
        .enable = NULL,
        .disable = NULL,
        .reset = NULL,
        .enabled = 0,
};

/* Used by other monitors */
struct sched_class *rv_ext_sched_class;

static int __init register_deadline(void)
{
        if (IS_ENABLED(CONFIG_SCHED_CLASS_EXT)) {
                rv_ext_sched_class = (void *)kallsyms_lookup_name("ext_sched_class");
                if (!rv_ext_sched_class)
                        pr_warn("rv: Missing ext_sched_class, monitors may not work.\n");
        }
        return rv_register_monitor(&rv_deadline, NULL);
}

static void __exit unregister_deadline(void)
{
        rv_unregister_monitor(&rv_deadline);
}

module_init(register_deadline);
module_exit(unregister_deadline);

MODULE_LICENSE("GPL");
MODULE_AUTHOR("Gabriele Monaco <gmonaco@redhat.com>");
MODULE_DESCRIPTION("deadline: container for several deadline scheduler specifications.");