Searched refs:XEON_PHI_NUM_MAX (Results 1 - 8 of 8) sorted by relevance

/barrelfish-master/usr/device_managers/xeon_phi/
H A Dcardmanager.c39 static iref_t driver_irefs[XEON_PHI_NUM_MAX];
42 static struct xeon_phi_card xeon_phis[XEON_PHI_NUM_MAX];
56 if (num_cards == XEON_PHI_NUM_MAX) {
/barrelfish-master/lib/xeon_phi/
H A Dxeon_phi_client.c60 struct xeon_phi_client *xphi_svc[XEON_PHI_NUM_MAX] = {
64 uint8_t xphi_present[XEON_PHI_NUM_MAX] = {
649 if (xid >= XEON_PHI_NUM_MAX) {
717 for (uint32_t i = 0; i < XEON_PHI_NUM_MAX; ++i) {
748 assert(xid < XEON_PHI_NUM_MAX);
780 if (xid >= XEON_PHI_NUM_MAX) {
883 if (xid >= XEON_PHI_NUM_MAX) {
961 if (xid >= XEON_PHI_NUM_MAX) {
1245 if (xid >= XEON_PHI_NUM_MAX) {
1314 if (xid >= XEON_PHI_NUM_MAX) {
[all...]
/barrelfish-master/include/xeon_phi/
H A Dxeon_phi.h14 #define XEON_PHI_NUM_MAX 8 macro
/barrelfish-master/usr/drivers/xeon_phi/
H A Dservice.c32 errval_t bootstrap_errors[XEON_PHI_NUM_MAX];
141 assert(xphi_id < XEON_PHI_NUM_MAX);
235 assert(id < XEON_PHI_NUM_MAX);
392 for (uint32_t i = 0; i < XEON_PHI_NUM_MAX; ++i) {
H A Dxeon_phi_internal.h133 struct xnode topology[XEON_PHI_NUM_MAX];
H A Dsmpt.c245 uint32_t netries = xeon_phi_smpt_system_page_num - XEON_PHI_NUM_MAX;
H A Dmain_card.c266 for (uint32_t i = 0; i < XEON_PHI_NUM_MAX; ++i) {
H A Dinterphi.c1139 assert(xphi < XEON_PHI_NUM_MAX);

Completed in 81 milliseconds