Searched refs:dev_addr (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
| H A D | fec_mxc.c | 58 int fec_phy_read(struct mii_dev *bus, int phyAddr, int dev_addr, int regAddr) argument
63 int fec_phy_write(struct mii_dev *bus, int phyAddr, int dev_addr, int regAddr, argument
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/ |
| H A D | guest_memory_util.c | 228 void *dev_addr; local
269 dev_addr = vspace_map_pages(vmm_vspace, &cookie->mapped_frame.capPtr,
271 if (!dev_addr) {
287 vspace_unmap_pages(vmm_vspace, dev_addr, 1, page_size, NULL);
294 return dev_addr;
|
Completed in 171 milliseconds