I was modifying the `vaddr` argument while invalidating which lead to the smp message containing wrong virtual address. This showed up in really weird bugs from invalid TLB
I was modifying the `vaddr` argument while invalidating which lead to the smp message containing wrong virtual address. This showed up in really weird bugs from invalid TLB