Searched refs:idc_endpoint_t (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/include/barrelfish/
H A Didc.h55 } idc_endpoint_t; typedef in typeref:enum:idc_endpoint_type
/barrelfish-master/usr/drivers/iommu/modules/generic/
H A Dcommon.h162 idc_endpoint_t type);
H A Diommu_service.c497 idc_endpoint_t type)
/barrelfish-master/lib/devif/backends/idc/
H A Ddesc_queue.c810 idc_endpoint_t type = (core == disp_get_core_id())? IDC_ENDPOINT_LMP: IDC_ENDPOINT_UMP;

Completed in 82 milliseconds