cache_control.h

Go to the documentation of this file.

#ifndef NEXUS_ARCH_CACHE_CONTROL_H
#define NEXUS_ARCH_CACHE_CONTROL_H
#include <stdbool.h>
#include <stdint.h>
#ifdef __cplusplus
extern "C" {
#endif
#define NX_ARCH_CACHE_DATA 1U
#define NX_ARCH_CACHE_INSTRUCTION 2U
typedef enum {
    NX_ARCH_CACHE_OK = 0,
    NX_ARCH_CACHE_INVALID,
    NX_ARCH_CACHE_CONTEXT,
    NX_ARCH_CACHE_UNSUPPORTED,
    NX_ARCH_CACHE_STATE,
    NX_ARCH_CACHE_IO
} nx_arch_cache_control_result_t;

typedef struct {
    uint32_t owned_mask; 
    uint32_t
        saved_selector;    
    bool selector_pending; 
} nx_arch_cache_control_t;

nx_arch_cache_control_result_t
nx_arch_cache_cold_enable(nx_arch_cache_control_t* control, uint32_t mask);
nx_arch_cache_control_result_t
nx_arch_cache_cold_disable(nx_arch_cache_control_t* control);
#ifdef __cplusplus
}
#endif
#endif /* NEXUS_ARCH_CACHE_CONTROL_H */