Searched refs:boot_registers (Results 1 - 2 of 2) sorted by relevance

/barrelfish-2018-10-04/usr/drivers/xeon_phi/
H A Dxeon_phi.c233 xeon_phi_boot_t boot_registers; local
235 xeon_phi_boot_initialize(&boot_registers,
240 xeon_phi_boot_download_wr(&boot_registers, 0x0);
243 xeon_phi_boot_reset_t res = xeon_phi_boot_reset_rd(&boot_registers);
245 xeon_phi_boot_reset_wr(&boot_registers, res);
253 postcode = xeon_phi_boot_postcode_rd(&boot_registers);
265 if (xeon_phi_boot_download_status_rdf(&boot_registers)) {
H A Dboot.c58 static xeon_phi_boot_t boot_registers; variable
69 return ((lvaddr_t) xeon_phi_boot_download_offset_rdf(&boot_registers)) << 12;
74 xeon_phi_boot_meminfo_t meminfo = xeon_phi_boot_meminfo_rd(&boot_registers);
138 xeon_phi_boot_os_size_rawwr(&boot_registers, phi->os_size);
151 xeon_phi_boot_res_size_rawwr(&boot_registers, (uint32_t) reserved);
308 phi->apicid = xeon_phi_boot_download_apicid_rdf(&boot_registers);
658 xeon_phi_boot_initialize(&boot_registers,
663 phi->apicid = xeon_phi_boot_download_apicid_rdf(&boot_registers);
755 xeon_phi_boot_download_status_wrf(&boot_registers, 0x0);
757 phi->apicid = xeon_phi_boot_download_apicid_rdf(&boot_registers);
[all...]

Completed in 89 milliseconds