On 24.10.23 15:45, David Woodhouse wrote:
On Tue, 2023-10-24 at 14:08 +0200, Juergen Gross wrote:I can probably change xen_send_IPI_one() to not need irq_get_chip_data().David, could you test the attached patch, please? Build tested only.No longer whines when offlining CPU1. Still triple-faults when bringing it back online. Or if I remove the lockdep_assert_irqs_disabled() from load_current_idt(), gives the same warnings as before, all on the same theme about IRQs being enabled when they shouldn't be.
I think this is a false positive. No idea (again) why it would trigger only with my patch applied. The problem seems to be that lockdep_assert_irqs_disabled() doesn't know about the "cli" at the very beginning of trampoline_start(). Juergen
OpenPGP_0xB0DE9DD628BF132F.asc
Description: OpenPGP public key
OpenPGP_signature.asc
Description: OpenPGP digital signature
