Searched refs:res10 (Results 1 - 8 of 8) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dmux.h70 uint32_t res10[44]; member in struct:mux_bank
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/apq8064/
H A Dintc.c62 uint32_t res10[2]; member in struct:intctl
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/imx6/
H A Dehci-imx6.c131 uint32_t res10[1]; member in struct:usb_otg_regs
195 uint32_t res10[1]; member in struct:usb_host_regs
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/
H A Docotp_ctrl.c91 uint32_t res10[3]; member in struct:ocotp_regs
H A Denet.c136 uint32_t res10[14]; member in struct:enet_regs
/seL4-camkes-master/kernel/include/arch/arm/arch/machine/
H A Dgic_v2.h83 uint32_t res10[40]; /* [0xF20, 0xFC0) */ member in struct:gic_dist_map
H A Dgic_v3.h163 uint32_t res10[63]; /* 0x0D04 */ member in struct:gic_rdist_sgi_ppi_map
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/
H A Dvgic.c179 uint32_t res10[40]; /* [0xF30, 0xFC0) */ member in struct:gic_dist_map

Completed in 67 milliseconds