Home
last modified time | relevance | path

Searched refs:xbstar (Results 1 – 10 of 10) sorted by relevance

/dports/multimedia/v4l_compat/linux-5.13-rc2/tools/memory-model/
H A Dlinux-kernel.cat169 let xbstar = (hb | pb | rb)*
171 ((strong-fence ; [Marked] ; xbstar) | (xbstar & int))
182 let ww-vis = fence | (strong-fence ; xbstar ; w-pre-bounded) |
184 let wr-vis = fence | (strong-fence ; xbstar ; r-pre-bounded) |
186 let rw-xbstar = fence | (r-post-bounded ; xbstar ; w-pre-bounded)
192 let wr-incoh = pre-race & rf & rw-xbstar^-1
198 let ww-nonrace = ww-vis & ((Marked * W) | rw-xbstar) & ((W * Marked) | wr-vis)
200 let wr-race = (pre-race & (co? ; rf)) \ wr-vis \ rw-xbstar^-1
201 let rw-race = (pre-race & fr) \ rw-xbstar
/dports/multimedia/libv4l/linux-5.13-rc2/tools/memory-model/
H A Dlinux-kernel.cat169 let xbstar = (hb | pb | rb)*
171 ((strong-fence ; [Marked] ; xbstar) | (xbstar & int))
182 let ww-vis = fence | (strong-fence ; xbstar ; w-pre-bounded) |
184 let wr-vis = fence | (strong-fence ; xbstar ; r-pre-bounded) |
186 let rw-xbstar = fence | (r-post-bounded ; xbstar ; w-pre-bounded)
192 let wr-incoh = pre-race & rf & rw-xbstar^-1
198 let ww-nonrace = ww-vis & ((Marked * W) | rw-xbstar) & ((W * Marked) | wr-vis)
200 let wr-race = (pre-race & (co? ; rf)) \ wr-vis \ rw-xbstar^-1
201 let rw-race = (pre-race & fr) \ rw-xbstar
/dports/multimedia/v4l-utils/linux-5.13-rc2/tools/memory-model/
H A Dlinux-kernel.cat169 let xbstar = (hb | pb | rb)*
171 ((strong-fence ; [Marked] ; xbstar) | (xbstar & int))
182 let ww-vis = fence | (strong-fence ; xbstar ; w-pre-bounded) |
184 let wr-vis = fence | (strong-fence ; xbstar ; r-pre-bounded) |
186 let rw-xbstar = fence | (r-post-bounded ; xbstar ; w-pre-bounded)
192 let wr-incoh = pre-race & rf & rw-xbstar^-1
198 let ww-nonrace = ww-vis & ((Marked * W) | rw-xbstar) & ((W * Marked) | wr-vis)
200 let wr-race = (pre-race & (co? ; rf)) \ wr-vis \ rw-xbstar^-1
201 let rw-race = (pre-race & fr) \ rw-xbstar
/dports/astro/marble/marble-21.12.3/src/3rdparty/sgp4/
H A Dsgp4unit.h98 const double xbstar, const double xecco, const double xargpo,
H A Dsgp4unit.cpp1340 const double xbstar, const double xecco, const double xargpo, in sgp4init() argument
1404 satrec.bstar = xbstar; in sgp4init()
/dports/astro/stellarium/stellarium-0.21.3/plugins/Satellites/src/gsatellite/
H A Dsgp4unit.h96 const double xbstar, const double xecco, const double xargpo,
H A Dsgp4unit.cpp1306 const double xbstar, const double xecco, const double xargpo, in sgp4init() argument
1379 satrec.bstar = xbstar; in sgp4init()
/dports/astro/py-sgp4/python-sgp4-2.20/extension/
H A DSGP4.h125 …const double xbstar, const double xndot, const double xnddot, const double xecco, const double xar…
H A DSGP4.cpp1363 …const double xbstar, const double xndot, const double xnddot, const double xecco, const double xar… in sgp4init() argument
1444 satrec.bstar = xbstar; in sgp4init()
/dports/astro/py-sgp4/python-sgp4-2.20/sgp4/
H A Dpropagation.py1290 xbstar, xndot, xnddot, xecco, xargpo, argument
1353 satrec.bstar = xbstar;