Constant k_objects_K_OBJ_DRIVER_VTD 

pub const k_objects_K_OBJ_DRIVER_VTD: k_objects = 91;