Home
last modified time | relevance | path

Searched defs:uint32_t (Results 1 – 4 of 4) sorted by relevance

/rk3399_ARM-atf/plat/rockchip/rk3399/drivers/m0/include/
H A Drk3399_mcu.h12 typedef unsigned int uint32_t; typedef
/rk3399_ARM-atf/include/lib/libc/
H A Dstdint.h91 typedef unsigned int uint32_t; typedef
/rk3399_ARM-atf/drivers/nxp/ddr/phy-gen2/
H A Dphy.c2208 int (*img_loadr)(unsigned int, uintptr_t *, uint32_t *), in load_fw() argument
/rk3399_ARM-atf/plat/imx/common/include/sci/
H A Dsci_types.h841 typedef __UINT32_TYPE__ uint32_t; typedef