vdso.h

Go to the documentation of this file.

#ifndef _XENO_NUCLEUS_VDSO_H
#define _XENO_NUCLEUS_VDSO_H

#include <nucleus/types.h>
#include <nucleus/hostrt.h>

/*
 * Data shared between Xenomai kernel/userland and the Linux kernel/userland
 * on the global semaphore heap. The features element indicates which data are
 * shared. Notice that struct xnvdso may only grow, but never shrink.
 */
struct xnvdso {
        unsigned long long features;

        struct xnvdso_hostrt_data hostrt_data;
        /*
         * Embed further domain specific structures that
         * describe the shared data here
         */
};

/*
 * For each shared feature, add a flag below. For now, the set is still
 * empty.
 */
/*
#define XNVDSO_FEAT_A   0x0000000000000001ULL
#define XNVDSO_FEAT_B   0x0000000000000002ULL
#define XNVDSO_FEAT_C   0x0000000000000004ULL
#define XNVDSO_FEATURES (XNVDSO_FEAT_A | XNVDSO_FEAT_B | XVDSO_FEAT_C)
*/
#define XNVDSO_FEAT_HOST_REALTIME       0x0000000000000001ULL
#ifdef CONFIG_XENO_OPT_HOSTRT
#define XNVDSO_FEATURES XNVDSO_FEAT_HOST_REALTIME
#else
#define XNVDSO_FEATURES 0
#endif /* CONFIG_XENO_OPT_HOSTRT */

extern struct xnvdso *nkvdso;

static inline struct xnvdso_hostrt_data *get_hostrt_data(void)
{
        return &nkvdso->hostrt_data;
}

static inline int xnvdso_test_feature(unsigned long long feature)
{
        return testbits(nkvdso->features, feature);
}

extern void xnheap_init_vdso(void);
#endif /* _XENO_NUCLEUS_VDSO_H */