Home
last modified time | relevance | path

Searched refs:UINT64_MAX (Results 1 – 9 of 9) sorted by relevance

/trusted-firmware-a/include/lib/libc/
A Dstdint.h43 #define UINT_LEAST64_MAX UINT64_MAX
59 #define UINT_FAST64_MAX UINT64_MAX
/trusted-firmware-a/include/lib/libc/aarch32/
A Dstdint_.h16 #define UINT64_MAX ULLONG_MAX macro
/trusted-firmware-a/include/lib/libc/aarch64/
A Dstdint_.h16 #define UINT64_MAX ULONG_MAX macro
/trusted-firmware-a/drivers/delay_timer/
A Ddelay_timer.c33 assert(usec < (UINT64_MAX / timer_ops->clk_div)); in udelay()
/trusted-firmware-a/drivers/arm/tzc/
A Dtzc380.c72 #if (UINTPTR_MAX == UINT64_MAX) in addr_high()
A Dtzc_dmc500.c193 assert(((region_top <= (UINT64_MAX >> (64U - 43U))) && in tzc_dmc500_configure_region()
A Dtzc400.c262 assert((region_top <= (UINT64_MAX >> (64U - tzc400.addr_width))) && in tzc400_configure_region()
/trusted-firmware-a/plat/common/
A Dplat_psci_common.c23 #define MAX_TS UINT64_MAX
/trusted-firmware-a/plat/intel/soc/common/
A Dsocfpga_sip_svc.c237 if (size > (UINT64_MAX - addr)) in is_address_in_ddr_range()

Completed in 8 milliseconds