Searched refs:res11 (Results 1 - 3 of 3) sorted by relevance
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/apq8064/ | ||
H A D | intc.c | 64 uint32_t res11[2]; member in struct:intctl |
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/imx6/ | ||
H A D | ehci-imx6.c | 134 uint32_t res11[4]; member in struct:usb_otg_regs 198 uint32_t res11[4]; member in struct:usb_host_regs |
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/ | ||
H A D | ocotp_ctrl.c | 93 uint32_t res11[3]; member in struct:ocotp_regs |
Completed in 39 milliseconds