Searched refs:res16 (Results 1 - 4 of 4) sorted by relevance
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/apq8064/ | ||
| H A D | intc.c | 78 uint32_t res16[64]; member in struct:intctl |
| /seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/imx6/ | ||
| H A D | ehci-imx6.c | 159 uint32_t res16[8]; member in struct:usb_otg_regs 208 uint32_t res16[8]; member in struct:usb_host_regs |
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/ | ||
| H A D | ocotp_ctrl.c | 104 uint32_t res16[3]; member in struct:ocotp_regs |
| H A D | enet.c | 165 uint32_t res16[121]; member in struct:enet_regs |
Completed in 350 milliseconds