Searched refs:res12 (Results 1 - 4 of 4) sorted by relevance
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/apq8064/ | ||
H A D | intc.c | 68 uint32_t res12; member in struct:intctl |
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/ | ||
H A D | ocotp_ctrl.c | 95 uint32_t res12[3]; member in struct:ocotp_regs |
H A D | enet.c | 140 uint32_t res12[1]; member in struct:enet_regs |
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/imx6/ | ||
H A D | ehci-imx6.c | 199 uint32_t res12[2]; member in struct:usb_host_regs |
Completed in 48 milliseconds