Symbol: cxl_switch_decoder_alloc