#include "hv/hvc_abi.h"

#include <assert.h>

int main(void)
{
    assert(hv_hvc_operation_valid(HV_HVC_GET_HV_ID));
    assert(hv_hvc_operation_valid(HV_HVC_REPORT_EXCEPTION));
    assert(!hv_hvc_operation_valid(64u));
    return 0;
}