Searched refs:res13 (Results 1 - 4 of 4) sorted by relevance
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/apq8064/ | ||
| H A D | intc.c | 73 uint32_t res13[4]; member in struct:intctl |
| /seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/imx6/ | ||
| H A D | ehci-imx6.c | 140 uint32_t res13[7]; member in struct:usb_otg_regs 203 uint32_t res13[7]; member in struct:usb_host_regs |
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/ | ||
| H A D | ocotp_ctrl.c | 97 uint32_t res13[3]; member in struct:ocotp_regs |
| H A D | enet.c | 150 uint32_t res13[3]; member in struct:enet_regs |
Completed in 50 milliseconds