Balazs Gerofi 2db3717e57 handle_interrupt_gicv3(): check for CPU_FLAG_NEED_RESCHED as well ...

Change-Id: Id6ade08e4e572a6d837476de2872126442d3591c

2020-06-13 17:18:09 +09:00

..

arm64/kernel

handle_interrupt_gicv3(): check for CPU_FLAG_NEED_RESCHED as well

2020-06-13 17:18:09 +09:00

x86_64

VM: use RW spinlock for vm_range_lock

2020-06-12 03:07:33 +00:00