Home
last modified time | relevance | path

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

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

Completed in 27 milliseconds