[1462834.422466] [<ffffffffc0788cb3>] rtThreadTerminate+0x33/0x50 [vboxdrv] [1462834.422472] [<ffffffffc0788d14>] rtThreadMain+0x44/0x50 [vboxdrv] [1462834.422479] [<ffffffffc077ed5b>] rtThreadNativeMain+0x1b/0x20 [vboxdrv] [1462834.422489] [<ffffffff94ac5c21>] kthread+0xd1/0xe0 [...
externraw_spinlock_tefi_rt_lock; efi_status_t__efi_rt_asm_wrapper(void*,constchar*, ...); #defineARCH_EFI_IRQ_FLAGS_MASK(PSR_D_BIT | PSR_A_BIT | PSR_I_BIT | PSR_F_BIT) Expand Down 2 changes: 1 addition & 1 deletion2arch/arm64/kernel/efi.c ...