/seL4-test-master/projects/musllibc/src/thread/ |
H A D | pthread_mutex_timedlock.c | 9 int r, t, priv = (m->_m_type & 128) ^ 128; local
|
H A D | sem_post.c | 6 int val, waiters, priv = sem->__val[2]; local
|
H A D | __wait.c | 3 void __wait(volatile int *addr, volatile int *waiters, int val, int priv) argument
|
H A D | pthread_rwlock_unlock.c | 5 int val, cnt, waiters, new, priv = rw->_rw_shared^128; local
|
H A D | __timedwait.c | 11 __timedwait_cp(volatile int *addr, int val, clockid_t clk, const struct timespec *at, int priv) argument 38 __timedwait(volatile int *addr, int val, clockid_t clk, const struct timespec *at, int priv) argument
|
H A D | pthread_mutex_unlock.c | 9 int priv = (m->_m_type & 128) ^ 128; local
|
H A D | pthread_create.c | 79 int priv = (m->_m_type & 128) ^ 128; local
|
/seL4-test-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | src.h | 18 void* priv; member in struct:src_dev
|
H A D | mux.h | 33 void *priv; member in struct:mux_sys
|
H A D | irq_combiner.h | 25 void* priv; member in struct:irq_combiner
|
H A D | clock.h | 40 void *priv; member in struct:clock_sys 50 void *priv; member in struct:clock
|
H A D | gpio.h | 121 void *priv; member in struct:gpio_sys
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/vgic/ |
H A D | vgic.h | 12 void *priv; member in struct:vgic_dist_device
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/ |
H A D | irq_combiner.h | 15 void *priv; member in struct:combiner_irq
|
H A D | vmct.c | 36 static inline struct vmct_priv *vmct_get_priv(void *priv) argument
|
/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | tmu.h | 26 void* priv; member in struct:ps_tmu
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/ |
H A D | device.h | 32 void *priv; member in struct:device
|
/seL4-test-master/projects/util_libs/libplatsupport/mach_include/exynos/platsupport/mach/ |
H A D | pmic.h | 26 void* priv;; member in struct:pmic
|
H A D | tmu.h | 35 void* priv; member in struct:exynos_tmu
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/exynos4/ |
H A D | src.c | 60 struct src_priv* priv = src_get_priv(dev); local 75 struct src_priv* priv = src_get_priv(dev); local
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | fec_mxc.h | 47 struct fec_priv *priv; member in struct:eth_device
|
H A D | miiphy.h | 98 void *priv; member in struct:bb_miiphy_bus
|
H A D | phy.h | 102 void *priv; member in struct:mii_dev 151 void *priv; member in struct:phy_device
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | miiphy.h | 100 void *priv; member in struct:bb_miiphy_bus
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | miiphy.h | 78 void *priv; member in struct:bb_miiphy_bus
|