Re: [XEN PATCH v2 0/3] Introduce and use STATIC_ASSERT_UNREACHABLE()

2024-01-31 Thread Jan Beulich
On 31.01.2024 09:19, Federico Serafini wrote: > On 26/01/24 11:05, Federico Serafini wrote: >> Introduce macro STATIC_ASSERT_UNREACHABLE(), >> use it to replace __{get,put}_user_bad(), >> update ECLAIR configuration to allow the use of such macro at the end of >> switch-caluses. >> >> Federico

Re: [XEN PATCH v2 0/3] Introduce and use STATIC_ASSERT_UNREACHABLE()

2024-01-31 Thread Federico Serafini
On 26/01/24 11:05, Federico Serafini wrote: Introduce macro STATIC_ASSERT_UNREACHABLE(), use it to replace __{get,put}_user_bad(), update ECLAIR configuration to allow the use of such macro at the end of switch-caluses. Federico Serafini (3): xen: introduce STATIC_ASSERT_UNREACHABLE()

[XEN PATCH v2 0/3] Introduce and use STATIC_ASSERT_UNREACHABLE()

2024-01-26 Thread Federico Serafini
Introduce macro STATIC_ASSERT_UNREACHABLE(), use it to replace __{get,put}_user_bad(), update ECLAIR configuration to allow the use of such macro at the end of switch-caluses. Federico Serafini (3): xen: introduce STATIC_ASSERT_UNREACHABLE() x86/uaccess: replace __{get,put}_user_bad() with