Searched refs:res14 (Results 1 - 4 of 4) sorted by relevance
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/apq8064/ | ||
| H A D | intc.c | 74 uint32_t res14[64]; member in struct:intctl |
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/ | ||
| H A D | ocotp_ctrl.c | 99 uint32_t res14[3]; member in struct:ocotp_regs |
| H A D | enet.c | 153 uint32_t res14[14]; member in struct:enet_regs |
| /seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/imx6/ | ||
| H A D | ehci-imx6.c | 204 uint32_t res14[1]; member in struct:usb_host_regs |
Completed in 44 milliseconds