Searching in vmvx_ukernel