Home
last modified time | relevance | path

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

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