cmpxchg over kernel logical addresses