/seL4-refos-master/libs/libmuslc/src/thread/ |
H A D | __wait.c | 3 void __wait(volatile int *addr, volatile int *waiters, int val, int priv) argument 6 if (priv) priv = FUTEX_PRIVATE; 13 __syscall(SYS_futex, addr, FUTEX_WAIT|priv, val, 0) != -ENOSYS
|
H A D | pthread_mutex_unlock.c | 9 int priv = (m->_m_type & 128) ^ 128; local 17 if (!priv) { 28 if (type != PTHREAD_MUTEX_NORMAL && !priv) { 33 __wake(&m->_m_lock, 1, priv);
|
H A D | pthread_rwlock_unlock.c | 5 int val, cnt, waiters, new, priv = rw->_rw_shared^128; local 15 __wake(&rw->_rw_lock, cnt, priv);
|
H A D | sem_post.c | 6 int val, waiters, priv = sem->__val[2]; local 15 if (val<0 || waiters) __wake(sem->__val, 1, priv);
|
H A D | __timedwait.c | 12 clockid_t clk, const struct timespec *at, int priv) 17 if (priv) priv = 128; 31 r = -__syscall_cp(SYS_futex, addr, FUTEX_WAIT|priv, val, top); 39 clockid_t clk, const struct timespec *at, int priv) 43 r = __timedwait_cp(addr, val, clk, at, priv); 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_timedlock.c | 9 int r, t, priv = (m->_m_type & 128) ^ 128; local 27 r = __timedwait(&m->_m_lock, t, CLOCK_REALTIME, at, priv);
|
/seL4-refos-master/libs/libplatsupport/src/plat/apq8064/ |
H A D | mux.c | 26 return (struct apq8064_mux*)mux->priv; 33 mux->priv = apq8064_mux; 40 if (mux == NULL || mux->priv == NULL) {
|
/seL4-refos-master/libs/libplatsupport/src/plat/omap3/ |
H A D | mux.c | 26 return (struct omap3_mux*)mux->priv; 33 mux->priv = omap3_mux; 40 if (mux == NULL || mux->priv == NULL) {
|
H A D | clock.c | 33 clock_sys->priv = (void*)&clk_regs;
|
/seL4-refos-master/libs/libplatsupport/src/plat/imx31/ |
H A D | mux.c | 26 return (struct imx31_mux*)mux->priv; 33 mux->priv = imx31_mux; 40 if (mux == NULL || mux->priv == NULL) {
|
H A D | clock.c | 31 clock_sys->priv = (void*)&clk_regs;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/apq8064/ |
H A D | mux.c | 26 return (struct apq8064_mux*)mux->priv; 33 mux->priv = apq8064_mux; 40 if (mux == NULL || mux->priv == NULL) {
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/imx31/ |
H A D | mux.c | 26 return (struct imx31_mux*)mux->priv; 33 mux->priv = imx31_mux; 40 if (mux == NULL || mux->priv == NULL) {
|
H A D | clock.c | 31 clock_sys->priv = (void*)&clk_regs;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/omap3/ |
H A D | mux.c | 26 return (struct omap3_mux*)mux->priv; 33 mux->priv = omap3_mux; 40 if (mux == NULL || mux->priv == NULL) {
|
H A D | clock.c | 33 clock_sys->priv = (void*)&clk_regs;
|
/seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | src.h | 18 void* priv; member in struct:src_dev
|
/seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | src.h | 18 void* priv; member in struct:src_dev
|
/seL4-refos-master/libs/libplatsupport/src/plat/exynos4/ |
H A D | src.c | 34 return (struct src_priv*)d->priv; 60 struct src_priv* priv = src_get_priv(dev); local 61 a = sreg(priv, SYSREG_PHY_CONFIG_OFFSET); 65 a = preg(priv, PWRREG_PHY_CONTROL_OFFSET); 75 struct src_priv* priv = src_get_priv(dev); local 77 a = preg(priv, PWRREG_SWRST_OFFSET); 133 dev->priv = src_priv;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/exynos4/ |
H A D | src.c | 34 return (struct src_priv*)d->priv; 60 struct src_priv* priv = src_get_priv(dev); local 61 a = sreg(priv, SYSREG_PHY_CONFIG_OFFSET); 65 a = preg(priv, PWRREG_PHY_CONTROL_OFFSET); 75 struct src_priv* priv = src_get_priv(dev); local 77 a = preg(priv, PWRREG_SWRST_OFFSET); 133 dev->priv = src_priv;
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | zynq_gem.c | 143 struct zynq_gem_priv *priv = dev->priv; local 145 if (priv->phyaddr != -1) { 146 phyread(dev, priv->phyaddr, PHY_DETECT_REG, &phyreg); 151 priv->phyaddr); 155 priv->phyaddr); 156 priv->phyaddr = -1; 161 if (priv->phyaddr == -1) { 168 priv->phyaddr = i; 236 struct zynq_gem_priv *priv local 403 struct zynq_gem_priv *priv; local [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | fec_mxc.c | 60 return enet_mdio_read((struct enet *)bus->priv, phyAddr, regAddr); 66 return enet_mdio_write((struct enet *)bus->priv, phyAddr, regAddr, data); 76 struct fec_priv *fec = (struct fec_priv *)dev->priv; 102 edev->priv = (void *)enet; 112 bus->priv = enet;
|
/seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/ |
H A D | clock.c | 26 clock_sys->priv = (void*)0xdeadbeef;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
H A D | clock.c | 26 clock_sys->priv = (void*)0xdeadbeef;
|
/seL4-refos-master/libs/libplatsupport/src/plat/zynq7000/ |
H A D | src.c | 42 d->priv = (void*)r; 48 return (slcr_regs_t*)d->priv;
|