#ifndef HV_HVC_ABI_H
#define HV_HVC_ABI_H

#include "hv/types.h"

enum hv_hvc_operation {
    HV_HVC_GET_HV_ID = 0u,
    HV_HVC_DUMP_LOG = 1u,
    HV_HVC_GET_STATUS = 2u,
    HV_HVC_PAUSE = 3u,
    HV_HVC_GUEST_CONSOLE_WRITE = 4u,
    HV_HVC_REPORT_EXCEPTION = 5u,
};

static inline bool hv_hvc_operation_valid(uint64_t op)
{
    return op <= HV_HVC_REPORT_EXCEPTION;
}

#endif