/linux-6.3-rc2/tools/memory-model/litmus-tests/ |
A D | dep+plain.litmus | 8 * The data stored to *z1 and *z2 by P0() originates from P0()'s 10 * conditional of P0()'s if-statement creates a control dependency 11 * from that READ_ONCE() to P0()'s WRITE_ONCE(). 16 P0(int *x, int *y, int *z1, int *z2)
|
A D | ISA2+pooncerelease+poacquirerelease+poacquireonce.litmus | 7 * to order P0()'s initial write against P2()'s final read. The reason 9 * case (P2() to P0()), each process reads from the preceding process's 16 P0(int *x, int *y)
|
A D | Z6.0+pooncerelease+poacquirerelease+fencembonceonce.litmus | 9 * P0's write, which means that there are two non-rf links: P1() to P2() 11 * to P0() is a read-to-write link (AKA a "from-reads" or just "fr" link). 19 P0(int *x, int *y)
|
A D | S+poonceonces.litmus | 6 * Starting with a two-process release-acquire chain ordering P0()'s 14 P0(int *x, int *y)
|
A D | ISA2+pooncelock+pooncelock+pombonce.litmus | 7 * (in P0() and P1()) is visible to external process P2(). 12 P0(int *x, int *y, spinlock_t *mylock)
|
A D | README | 192 P0(int *x, int *y) 216 P0()'s WRITE_ONCE() is read by its first READ_ONCE(), which is a 217 reads-from link (rf) and internal to the P0() process. This is 223 P0()'s second access is a READ_ONCE(), as opposed to (for example) 226 P0()'s third access is also a READ_ONCE(), but to y rather than x. 227 This is related to P0()'s second access by program order ("po"), 229 The resulting descriptor is "PodRR". Because P0()'s third access is 232 A from-read ("fre") relation links P0()'s third to P1()'s first 237 The remainder of P1() is similar to P0(), which means we add 239 P0()'s first access, which is WRITE_ONCE(), so we add "Fre Once".
|
A D | CoWW+poonceonce.litmus | 12 P0(int *x)
|
A D | CoRR+poonceonce+Once.litmus | 12 P0(int *x)
|
A D | LB+poonceonces.litmus | 12 P0(int *x, int *y)
|
A D | S+fencewmbonceonce+poacquireonce.litmus | 12 P0(int *x, int *y)
|
A D | CoRW+poonceonce+Once.litmus | 12 P0(int *x)
|
A D | CoWR+poonceonce+Once.litmus | 12 P0(int *x)
|
A D | MP+poonceonces.litmus | 12 P0(int *buf, int *flag) // Producer
|
A D | MP+pooncerelease+poacquireonce.litmus | 13 P0(int *buf, int *flag) // Producer
|
A D | R+poonceonces.litmus | 13 P0(int *x, int *y)
|
A D | LB+poacquireonce+pooncerelease.litmus | 13 P0(int *x, int *y)
|
A D | SB+poonceonces.litmus | 13 P0(int *x, int *y)
|
A D | MP+fencewmbonceonce+fencermbonceonce.litmus | 13 P0(int *buf, int *flag) // Producer
|
/linux-6.3-rc2/drivers/ata/ |
A D | ata_piix.c | 106 P0 = 0, /* port 0 */ enumerator 344 { P0, NA, P1, NA }, /* 000b */ 345 { P1, NA, P0, NA }, /* 001b */ 360 { P0, P2, P1, P3 }, /* 00b */ 362 { P0, P2, IDE, IDE }, /* 10b */ 377 { P0, P2, NA, NA }, /* 00b */ 379 { P0, P2, IDE, IDE }, /* 10b */ 401 { P0, NA, P1, NA }, /* 00b */ 413 { P0, NA, NA, NA }, /* 00b */ 415 { P0, P2, IDE, IDE }, /* 10b */ [all …]
|
/linux-6.3-rc2/arch/hexagon/kernel/ |
A D | vm_entry.S | 284 P0 = tstbit(R0, #HVM_VMEST_UM_SFT); define 285 if (!P0.new) jump:nt restore_all; 307 P0 = cmp.eq(R0, #0); if (!P0.new) jump:nt check_work_pending; define 368 P0 = cmp.eq(R24, #0); define 372 if (P0) jump check_work_pending
|
/linux-6.3-rc2/tools/memory-model/Documentation/ |
A D | explanation.txt | 115 P0() 227 P0() 564 P0() 587 P0() 666 P0() 680 P0() 696 P0() 748 P0() 1164 P0() 1285 P0() [all …]
|
A D | litmus-tests.txt | 72 5 P0(int *x, int *y) 128 by reference, hence "P0(int *x, int *y)", but *never* "P0(int x, int y)". 262 8 P0(int *x, int *y) 323 5 P0(int *x, int *y) 390 5 P0(int *x, int *y) 443 5 P0(int *x, int *y) 517 6 P0(int *sl, int *x0, int *x1) 628 7 P0(int *sl, int *x0, int *x1) 694 8 P0(int *x, int **y) 783 12 P0(int *x, int **y) // F [all …]
|
/linux-6.3-rc2/arch/arm/boot/dts/ |
A D | aspeed-bmc-amd-ethanolx.dts | 140 /*P0-P7*/ "P0_VDD_CORE_RUN_VRHOT","P0_VDD_SOC_RUN_VRHOT", 159 //APML for P0 184 //P0 Power regulators 194 //P0/P1 Thermal diode
|
/linux-6.3-rc2/Documentation/translations/zh_CN/scheduler/ |
A D | schedutil.rst | 65 f_cur := ----- * P0 70 P0; 其它情况
|
/linux-6.3-rc2/Documentation/litmus-tests/atomic/ |
A D | Atomic-RMW-ops-are-atomic-WRT-atomic_set.litmus | 14 P0(atomic_t *v)
|