etiss/build_2include_2jit_2etiss_2CVirtualStruct_8h_source.html

// SPDX-License-Identifier: BSD-3-Clause

//

// This file is part of ETISS. It is licensed under the BSD 3-Clause License; you may not use this file except in

// compliance with the License. You should have received a copy of the license along with this project. If not, see the

// LICENSE file.


#include <stdint.h>


typedef const char *const *(*VirtualStruct_names)(void *handle);

typedef const char *const *(*VirtualStruct_prettyNames)(void *handle);


typedef uint64_t (*VirtualStruct_read)(void *handle, uint32_t index);

typedef void (*VirtualStruct_write)(void *handle, uint32_t index);


typedef void (*VirtualStruct_setListenerCallback)(void *handle, void *callbackHandle,

                                                  void (*callback)(void *handle, void *callbackHandle, uint32_t index));

uint32_t
static __inline__ uint32_t
Definition arm_cde.h:25

uint64_t
static __inline__ uint64_t
Definition arm_cde.h:31

VirtualStruct_read
uint64_t(* VirtualStruct_read)(void *handle, uint32_t index)
read the value of the field at the given index
Definition CVirtualStruct.h:43

VirtualStruct_setListenerCallback
void(* VirtualStruct_setListenerCallback)(void *handle, void *callbackHandle, void(*callback)(void *handle, void *callbackHandle, uint32_t index))
setter function to register the callback handle for listener supported fields.
Definition CVirtualStruct.h:53

VirtualStruct_write
void(* VirtualStruct_write)(void *handle, uint32_t index)
write the value of the field at the given index
Definition CVirtualStruct.h:47

stdint.h