I've found some slides about device fission on the web, and also the appropriate functions in cl_ext.h, and think I've managed to succeed in using CL_DEVICE_PARTITION_EQUALLY_EXT.
I'm now looking to try and play around with the CL_DEVICE_PARTITION_BY_AFFINITY_DOMAIN_EXT option, but I'm not really sure how to go about it.
What is the format of a cl_device_partition_property_ext array supposed to be?