Currently, executable vmalloc allocations are not tagged with the SW/HW_TAGS modes, as the kernel does not tolerate having the PC register tagged. Investigate, whether it is possible to tag these allocations. Or at least tag the memory without the pointers.