tree:
https://github.com/intel/tdx.git guest
head: 8c20c364d1f52e432181d142054b1c2efa0ae6d3
commit: 96c781481b4771fb0fb4cc62072a6b1b50a0cea2 [47/63] x86/tdx: Skip WBINVD instruction
for TDX guest
config: ia64-randconfig-p001-20210513 (attached as .config)
compiler: ia64-linux-gcc (GCC) 9.3.0
reproduce (this is a W=1 build):
wget
https://raw.githubusercontent.com/intel/lkp-tests/master/sbin/make.cross -O
~/bin/make.cross
chmod +x ~/bin/make.cross
#
https://github.com/intel/tdx/commit/96c781481b4771fb0fb4cc62072a6b1b50a0cea2
git remote add intel-tdx
https://github.com/intel/tdx.git
git fetch --no-tags intel-tdx guest
git checkout 96c781481b4771fb0fb4cc62072a6b1b50a0cea2
# save the attached .config to linux build tree
COMPILER_INSTALL_PATH=$HOME/0day COMPILER=gcc-9.3.0 make.cross W=1 ARCH=ia64
If you fix the issue, kindly add following tag as appropriate
Reported-by: kernel test robot <lkp(a)intel.com>
All warnings (new ones prefixed by >>):
drivers/acpi/acpica/hwsleep.c: In function 'acpi_hw_legacy_sleep':
> drivers/acpi/acpica/hwsleep.c:119:25: warning: suggest braces
around empty body in an 'if' statement [-Wempty-body]
119 |
ACPI_FLUSH_CPU_CACHE();
| ^
vim +/if +119 drivers/acpi/acpica/hwsleep.c
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 17
709585765734e9 drivers/acpi/acpica/hwsleep.c Bob Moore 2012-02-14 18
#if (!ACPI_REDUCED_HARDWARE) /* Entire module */
44f6c01242da4e drivers/acpi/hardware/hwsleep.c Robert Moore 2005-04-18 19
/*******************************************************************************
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 20
*
2feec47d4c5f80 drivers/acpi/acpica/hwsleep.c Bob Moore 2012-02-14 21
* FUNCTION: acpi_hw_legacy_sleep
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 22
*
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 23
* PARAMETERS: sleep_state - Which sleep state to enter
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 24
*
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 25
* RETURN: Status
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 26
*
2feec47d4c5f80 drivers/acpi/acpica/hwsleep.c Bob Moore 2012-02-14 27
* DESCRIPTION: Enter a system sleep state via the legacy FADT PM registers
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 28
* THIS FUNCTION MUST BE CALLED WITH INTERRUPTS DISABLED
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 29
*
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 30
******************************************************************************/
3f6f49c7854c92 drivers/acpi/acpica/hwsleep.c Len Brown 2012-07-26 31
acpi_status acpi_hw_legacy_sleep(u8 sleep_state)
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 32
{
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 33
struct acpi_bit_register_info *sleep_type_reg_info;
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 34
struct acpi_bit_register_info *sleep_enable_reg_info;
2feec47d4c5f80 drivers/acpi/acpica/hwsleep.c Bob Moore 2012-02-14 35
u32 pm1a_control;
2feec47d4c5f80 drivers/acpi/acpica/hwsleep.c Bob Moore 2012-02-14 36
u32 pm1b_control;
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 37
u32 in_value;
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 38
acpi_status status;
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 39
2feec47d4c5f80 drivers/acpi/acpica/hwsleep.c Bob Moore 2012-02-14 40
ACPI_FUNCTION_TRACE(hw_legacy_sleep);
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 41
4be44fcd3bf648 drivers/acpi/hardware/hwsleep.c Len Brown 2005-08-05 42
sleep_type_reg_info =
82d79b86646504 drivers/acpi/acpica/hwsleep.c Bob Moore 2009-02-18 43
acpi_hw_get_bit_register_info(ACPI_BITREG_SLEEP_TYPE);
4be44fcd3bf648 drivers/acpi/hardware/hwsleep.c Len Brown 2005-08-05 44
sleep_enable_reg_info =
4be44fcd3bf648 drivers/acpi/hardware/hwsleep.c Len Brown 2005-08-05 45
acpi_hw_get_bit_register_info(ACPI_BITREG_SLEEP_ENABLE);
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 46
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 47
/* Clear wake status */
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 48
1fad87385e7e82 drivers/acpi/acpica/hwsleep.c Bob Moore 2015-12-29 49
status = acpi_write_bit_register(ACPI_BITREG_WAKE_STATUS,
1fad87385e7e82 drivers/acpi/acpica/hwsleep.c Bob Moore 2015-12-29 50
ACPI_CLEAR_STATUS);
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 51
if (ACPI_FAILURE(status)) {
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 52
return_ACPI_STATUS(status);
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 53
}
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 54
fa85015c0d9588 drivers/acpi/acpica/hwsleep.c Rafael J. Wysocki 2018-07-09 55
/* Disable all GPEs */
fa85015c0d9588 drivers/acpi/acpica/hwsleep.c Rafael J. Wysocki 2018-07-09 56
status = acpi_hw_disable_all_gpes();
fa85015c0d9588 drivers/acpi/acpica/hwsleep.c Rafael J. Wysocki 2018-07-09 57
if (ACPI_FAILURE(status)) {
fa85015c0d9588 drivers/acpi/acpica/hwsleep.c Rafael J. Wysocki 2018-07-09 58
return_ACPI_STATUS(status);
fa85015c0d9588 drivers/acpi/acpica/hwsleep.c Rafael J. Wysocki 2018-07-09 59
}
fa85015c0d9588 drivers/acpi/acpica/hwsleep.c Rafael J. Wysocki 2018-07-09 60
status = acpi_hw_clear_acpi_status();
1d99967badac59 drivers/acpi/hardware/hwsleep.c Alexey Starikovskiy 2007-03-12 61
if (ACPI_FAILURE(status)) {
1d99967badac59 drivers/acpi/hardware/hwsleep.c Alexey Starikovskiy 2007-03-12 62
return_ACPI_STATUS(status);
1d99967badac59 drivers/acpi/hardware/hwsleep.c Alexey Starikovskiy 2007-03-12 63
}
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 64
acpi_gbl_system_awake_and_running = FALSE;
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 65
fa85015c0d9588 drivers/acpi/acpica/hwsleep.c Rafael J. Wysocki 2018-07-09 66
/* Enable all wakeup GPEs */
73459f73e5d160 drivers/acpi/hardware/hwsleep.c Robert Moore 2005-06-24 67
status = acpi_hw_enable_all_wakeup_gpes();
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 68
if (ACPI_FAILURE(status)) {
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 69
return_ACPI_STATUS(status);
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 70
}
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 71
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 72
/* Get current value of PM1A control */
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 73
32c9ef994d9135 drivers/acpi/acpica/hwsleep.c Bob Moore 2009-02-18 74
status = acpi_hw_register_read(ACPI_REGISTER_PM1_CONTROL,
32c9ef994d9135 drivers/acpi/acpica/hwsleep.c Bob Moore 2009-02-18 75
&pm1a_control);
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 76
if (ACPI_FAILURE(status)) {
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 77
return_ACPI_STATUS(status);
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 78
}
44f6c01242da4e drivers/acpi/hardware/hwsleep.c Robert Moore 2005-04-18 79
ACPI_DEBUG_PRINT((ACPI_DB_INIT,
b27d65975c252f drivers/acpi/acpica/hwsleep.c Bob Moore 2010-05-26 80
"Entering sleep state [S%u]\n", sleep_state));
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 81
32c9ef994d9135 drivers/acpi/acpica/hwsleep.c Bob Moore 2009-02-18 82
/* Clear the SLP_EN and SLP_TYP fields */
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 83
32c9ef994d9135 drivers/acpi/acpica/hwsleep.c Bob Moore 2009-02-18 84
pm1a_control &= ~(sleep_type_reg_info->access_bit_mask |
44f6c01242da4e drivers/acpi/hardware/hwsleep.c Robert Moore 2005-04-18 85
sleep_enable_reg_info->access_bit_mask);
32c9ef994d9135 drivers/acpi/acpica/hwsleep.c Bob Moore 2009-02-18 86
pm1b_control = pm1a_control;
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 87
32c9ef994d9135 drivers/acpi/acpica/hwsleep.c Bob Moore 2009-02-18 88
/* Insert the SLP_TYP bits */
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 89
32c9ef994d9135 drivers/acpi/acpica/hwsleep.c Bob Moore 2009-02-18 90
pm1a_control |=
4be44fcd3bf648 drivers/acpi/hardware/hwsleep.c Len Brown 2005-08-05 91
(acpi_gbl_sleep_type_a << sleep_type_reg_info->bit_position);
32c9ef994d9135 drivers/acpi/acpica/hwsleep.c Bob Moore 2009-02-18 92
pm1b_control |=
4be44fcd3bf648 drivers/acpi/hardware/hwsleep.c Len Brown 2005-08-05 93
(acpi_gbl_sleep_type_b << sleep_type_reg_info->bit_position);
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 94
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 95
/*
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 96
* We split the writes of SLP_TYP and SLP_EN to workaround
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 97
* poorly implemented hardware.
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 98
*/
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 99
32c9ef994d9135 drivers/acpi/acpica/hwsleep.c Bob Moore 2009-02-18 100
/* Write #1: write the SLP_TYP data to the PM1 Control registers */
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 101
32c9ef994d9135 drivers/acpi/acpica/hwsleep.c Bob Moore 2009-02-18 102
status = acpi_hw_write_pm1_control(pm1a_control, pm1b_control);
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 103
if (ACPI_FAILURE(status)) {
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 104
return_ACPI_STATUS(status);
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 105
}
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 106
32c9ef994d9135 drivers/acpi/acpica/hwsleep.c Bob Moore 2009-02-18 107
/* Insert the sleep enable (SLP_EN) bit */
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 108
32c9ef994d9135 drivers/acpi/acpica/hwsleep.c Bob Moore 2009-02-18 109
pm1a_control |= sleep_enable_reg_info->access_bit_mask;
32c9ef994d9135 drivers/acpi/acpica/hwsleep.c Bob Moore 2009-02-18 110
pm1b_control |= sleep_enable_reg_info->access_bit_mask;
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 111
96c781481b4771 drivers/acpi/acpica/hwsleep.c Kuppuswamy Sathyanarayanan 2021-05-12 112
/*
96c781481b4771 drivers/acpi/acpica/hwsleep.c Kuppuswamy Sathyanarayanan 2021-05-12 113
* WBINVD instruction is not supported in TDX
96c781481b4771 drivers/acpi/acpica/hwsleep.c Kuppuswamy Sathyanarayanan 2021-05-12 114
* guest. Since ACPI_FLUSH_CPU_CACHE() uses
96c781481b4771 drivers/acpi/acpica/hwsleep.c Kuppuswamy Sathyanarayanan 2021-05-12 115
* WBINVD, skip cache flushes for TDX guests.
96c781481b4771 drivers/acpi/acpica/hwsleep.c Kuppuswamy Sathyanarayanan 2021-05-12 116
*/
96c781481b4771 drivers/acpi/acpica/hwsleep.c Kuppuswamy Sathyanarayanan 2021-05-12 117
if (!protected_guest_has(GUEST_TYPE_TDX))
32c9ef994d9135 drivers/acpi/acpica/hwsleep.c Bob Moore 2009-02-18 118
/* Flush caches, as per ACPI specification */
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 @119
ACPI_FLUSH_CPU_CACHE();
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 120
0fc5e8f4e4b33d drivers/acpi/acpica/hwsleep.c Lv Zheng 2016-12-28 121
status = acpi_os_enter_sleep(sleep_state, pm1a_control, pm1b_control);
0fc5e8f4e4b33d drivers/acpi/acpica/hwsleep.c Lv Zheng 2016-12-28 122
if (status == AE_CTRL_TERMINATE) {
09f98a825a821f drivers/acpi/acpica/hwsleep.c Tang Liang 2011-12-09 123
return_ACPI_STATUS(AE_OK);
0fc5e8f4e4b33d drivers/acpi/acpica/hwsleep.c Lv Zheng 2016-12-28 124
}
0fc5e8f4e4b33d drivers/acpi/acpica/hwsleep.c Lv Zheng 2016-12-28 125
if (ACPI_FAILURE(status)) {
09f98a825a821f drivers/acpi/acpica/hwsleep.c Tang Liang 2011-12-09 126
return_ACPI_STATUS(status);
0fc5e8f4e4b33d drivers/acpi/acpica/hwsleep.c Lv Zheng 2016-12-28 127
}
0fc5e8f4e4b33d drivers/acpi/acpica/hwsleep.c Lv Zheng 2016-12-28 128
32c9ef994d9135 drivers/acpi/acpica/hwsleep.c Bob Moore 2009-02-18 129
/* Write #2: Write both SLP_TYP + SLP_EN */
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 130
32c9ef994d9135 drivers/acpi/acpica/hwsleep.c Bob Moore 2009-02-18 131
status = acpi_hw_write_pm1_control(pm1a_control, pm1b_control);
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 132
if (ACPI_FAILURE(status)) {
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 133
return_ACPI_STATUS(status);
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 134
}
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 135
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 136
if (sleep_state > ACPI_STATE_S3) {
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 137
/*
44f6c01242da4e drivers/acpi/hardware/hwsleep.c Robert Moore 2005-04-18 138
* We wanted to sleep > S3, but it didn't happen (by virtue of the
44f6c01242da4e drivers/acpi/hardware/hwsleep.c Robert Moore 2005-04-18 139
* fact that we are still executing!)
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 140
*
44f6c01242da4e drivers/acpi/hardware/hwsleep.c Robert Moore 2005-04-18 141
* Wait ten seconds, then try again. This is to get S4/S5 to work on
44f6c01242da4e drivers/acpi/hardware/hwsleep.c Robert Moore 2005-04-18 142
* all machines.
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 143
*
d4913dc6d0c680 drivers/acpi/acpica/hwsleep.c Bob Moore 2009-03-06 144
* We wait so long to allow chipsets that poll this reg very slowly
d4913dc6d0c680 drivers/acpi/acpica/hwsleep.c Bob Moore 2009-03-06 145
* to still read the right value. Ideally, this block would go
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 146
* away entirely.
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 147
*/
c41679a4481d5b drivers/acpi/acpica/hwsleep.c Bob Moore 2012-12-31 148
acpi_os_stall(10 * ACPI_USEC_PER_SEC);
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 149
d30dc9abb4aacf drivers/acpi/hardware/hwsleep.c Alexey Starikovskiy 2007-09-30 150
status = acpi_hw_register_write(ACPI_REGISTER_PM1_CONTROL,
4be44fcd3bf648 drivers/acpi/hardware/hwsleep.c Len Brown 2005-08-05 151
sleep_enable_reg_info->
4be44fcd3bf648 drivers/acpi/hardware/hwsleep.c Len Brown 2005-08-05 152
access_bit_mask);
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 153
if (ACPI_FAILURE(status)) {
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 154
return_ACPI_STATUS(status);
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 155
}
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 156
}
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 157
2feec47d4c5f80 drivers/acpi/acpica/hwsleep.c Bob Moore 2012-02-14 158
/* Wait for transition back to Working State */
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 159
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 160
do {
50ffba1bd3120b drivers/acpi/acpica/hwsleep.c Bob Moore 2009-02-23 161
status =
50ffba1bd3120b drivers/acpi/acpica/hwsleep.c Bob Moore 2009-02-23 162
acpi_read_bit_register(ACPI_BITREG_WAKE_STATUS, &in_value);
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 163
if (ACPI_FAILURE(status)) {
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 164
return_ACPI_STATUS(status);
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 165
}
2feec47d4c5f80 drivers/acpi/acpica/hwsleep.c Bob Moore 2012-02-14 166
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 167
} while (!in_value);
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 168
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 169
return_ACPI_STATUS(AE_OK);
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 170
}
^1da177e4c3f41 drivers/acpi/hardware/hwsleep.c Linus Torvalds 2005-04-16 171
:::::: The code at line 119 was first introduced by commit
:::::: 1da177e4c3f41524e886b7f1b8a0c1fc7321cac2 Linux-2.6.12-rc2
:::::: TO: Linus Torvalds <torvalds(a)ppc970.osdl.org>
:::::: CC: Linus Torvalds <torvalds(a)ppc970.osdl.org>
---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all@lists.01.org