Searched refs:outaddr (Results 1 - 3 of 3) sorted by relevance
| /barrelfish-master/usr/drivers/xeon_phi/ |
| H A D | hwmodel.c | 114 uint64_t inaddr, outaddr; local
119 &nodeid, &inaddr, &outaddr)) {
122 debug_printf("CONF SMPT: in=0x%"PRIx64", out=0x%"PRIx64"\n", inaddr, outaddr);
123 smpt_set_address(xphi, inaddr / SIZE16G, outaddr, 1);
125 debug_printf("CONF IOMMU: in=0x%"PRIx64", out=0x%"PRIx64"\n", inaddr, outaddr);
|
| /barrelfish-master/lib/driverkit/ |
| H A D | hwmodel.c | 226 uint64_t inaddr, outaddr;
231 &conf_nodeid, &inaddr, &outaddr)) {
|
| H A D | iommu_client.c | 1137 uint64_t inaddr, outaddr;
1142 &nodeid, &inaddr, &outaddr)) {
|
Completed in 34 milliseconds