Verify that kernel metadata is allocated within kernel's high vaddrspace #18
Description
Double-check all invocations that allocate kernel metadata and ensure that they allocate it from __kprocess.getVaddrSpaceStream and not from cpuTrib.getCurrentCpuStream()->taskStream.getCurrentThread()->parent->getVaddrSpaceStream().
(Kernel metadata must not be allocated within the vaddrspace of a user process.)