Searched refs:xeon_phi_id (Results 1 - 10 of 10) sorted by relevance

/barrelfish-master/include/barrelfish_kpi/
H A Ddispatcher_shared.h56 uint8_t xeon_phi_id; member in struct:dispatcher_shared_generic
/barrelfish-master/include/target/x86/barrelfish_kpi/
H A Dcoredata_target.h76 uint8_t xeon_phi_id; member in struct:x86_core_data
/barrelfish-master/include/
H A Dmultiboot.h104 uint8_t xeon_phi_id; member in struct:multiboot_info
/barrelfish-master/tools/weever/
H A Dloader.c245 if ((bp->xeon_phi_id & 0xFF00) != 0xFF00) {
249 multiboot_info->xeon_phi_id = (uint8_t)(bp->xeon_phi_id & 0xff);
/barrelfish-master/include/xeon_phi/
H A Dxeon_phi.h114 uint32_t xeon_phi_id; member in struct:xeon_phi_boot_params
/barrelfish-master/kernel/arch/k1om/
H A Dinit.c627 mb->xeon_phi_id);
681 glbl_core_data->xeon_phi_id = mb->xeon_phi_id;
H A Dstartup_arch.c411 init_disp->xeon_phi_id = glbl_core_data->xeon_phi_id;
/barrelfish-master/usr/drivers/xeon_phi/
H A Dboot.c747 bp->xeon_phi_id = 0xFF00;
748 bp->xeon_phi_id += phi->id;
/barrelfish-master/lib/barrelfish/
H A Ddispatch.c308 return disp->xeon_phi_id;
/barrelfish-master/lib/spawndomain/
H A Dspawn.c382 disp->xeon_phi_id = disp_xeon_phi_id();

Completed in 96 milliseconds