smc.h

/*
 * Copyright (C) 2012-2018, Samsung Electronics Co., Ltd.
 *
 * SMC interface driver
 */

#pragma once

#include <core/types.h>
#include <arch/smc.h>

/* ioctl() operations */
#define SMC_COMMAND 0

struct smc_data {
    uint64_t    arg_types;  
    struct smc_args args;       
};

enum {
    SMC_ARG_TYPE_NONE = 0,
    SMC_ARG_TYPE_VALUE,
    SMC_ARG_TYPE_ADDR,
    SMC_ARG_TYPE_SIZE,
};

#define SMC_ARG_TYPES(t0, t1, t2, t3, t4, t5, t6) \
        ((t0) | ((t1) << 2) | ((t2) << 4) | ((t3) << 6) | \
            ((t4) << 8) | ((t5) << 10) | ((t6) << 12))

#define SMC_ARG_TYPE_GET(t, i) (((t) >> (i * 2)) & 0x3)