code: def verify_gpu_code(
      func: PrimFunc, constraints: Dict[str, int]
  ) -> None:
      """Verify if module contains illegal host side direct memory access.
  
      Parameters
      ----------
      func: tvm.tir.PrimFunc
          The module to be verified.
  
      constraints : Dict[str, int]
          The attribute constraints.
  
      Returns
      -------
      result : bool
          The result of verification.
      """
      return _ffi_api.verify_gpu_code(func, constraints)
  
imports: from typing import Dict, List, Optional, Union
  import tvm
  from tvm import Object
  from tvm.ir import IRModule
  from tvm.tir.expr import Var
  from tvm.tir.stmt import Block, BufferRegion, PrimExpr
  from ..None import Buffer, Stmt
  from ..function import PrimFunc
  from .None import _ffi_api
label_desc: Use image node_id 4 for calling a global function with example usage: verify_gpu_code(func, constraints) and returns: _ffi_api