Constant tvm::function::ffi::DLDeviceType_kDLVPI

pub const DLDeviceType_kDLVPI: u32 = 9; // 0x0000_0009u32

\brief Verilog simulator buffer