def get_abi_major(): return driver.get_device_id_from_name(DEVICE_TYPE)
def get_abi_major(): return driver.get_device_id_from_name("dma")
def get_abi_major(): return driver.get_device_id_from_name("platform")