pkt_sys_debug_config
void pkt_sys_debug_config(struct hfi_sys_set_property_pkt *pkt, u32 mode,
pkt_sys_debug_config(pkt, HFI_DEBUG_MODE_QUEUE, debug);