UINTPTR_MAX
TEMPLATE(uintptr, uintptr_t, 0, UINTPTR_MAX)
dma_mask = UINTPTR_MAX;
.dr_len = UINTPTR_MAX,
.dr_len = UINTPTR_MAX,
.dr_len = UINTPTR_MAX,
t->_ranges[0].dr_len == UINTPTR_MAX) {
tagp->_ranges[0].dr_len = UINTPTR_MAX;
tagp->_ranges[0].dr_len = UINTPTR_MAX;
t->_ranges[0].dr_len == UINTPTR_MAX) {
tab->sd_minsym = UINTPTR_MAX;
volatile uintptr_t a = UINTPTR_MAX;
prop_number_t n_uintptr_max = prop_number_create_unsigned(UINTPTR_MAX);
val.v_uintptr == UINTPTR_MAX);
ATF_REQUIRE(prop_dictionary_set_uintptr(dict, "uintptr", UINTPTR_MAX));
ATF_REQUIRE(val.v_uintptr == UINTPTR_MAX);