Lines Matching refs:estar

336     de bits dado deben estar protegidos por un candado. Si dos campos en un
515      Una operación ACQUIRE casi siempre debe estar emparejada con una
569      especificados antes de una barrera de memoria estará _completo_ al
714 del reemplazo parezca estar inicializado de manera incompleta.
767 variable 'a' siempre es distinta de cero, estaría dentro de sus derechos
805 absolutamente necesario y debe estar presente en el código ensamblador
988 memoria deben estar siempre emparejados. La falta del apropiado
1034 Básicamente, la barrera de lectura siempre tiene que estar ahí, aunque
1535 smp_store_release()/smp_load_acquire(), el siguiente resultado estaría
1542 resultado estaría prohibido:
1559 pueden estar en desacuerdo con el orden. Este desacuerdo se debe al hecho
1886      hay markings volátiles, el compilador estaría en su derecho de
2272 set_current_state() puede estar envuelto por:
2468 sistema puede estar trabajando en el mismo conjunto de datos al mismo
2960  _propios_ accesos parecen estar correctamente ordenados, sin necesidad de