#ifndef HV_BOOT_EVENT_H
#define HV_BOOT_EVENT_H

#include "hv/types.h"

enum hv_boot_event_code {
    HV_BOOT_EVENT_UART = 10u,
    HV_BOOT_EVENT_LOG = 11u,
    HV_BOOT_EVENT_TIMER = 12u,
    HV_BOOT_EVENT_MONITOR = 13u,
    HV_BOOT_EVENT_STAGE2 = 14u,
    HV_BOOT_EVENT_GIC = 15u,
    HV_BOOT_EVENT_GUEST = 16u,
};

static inline bool hv_boot_event_code_valid(uint32_t code)
{
    return code >= HV_BOOT_EVENT_UART && code <= HV_BOOT_EVENT_GUEST;
}

#endif