Lines Matching defs:faddr
354 Flag* faddr = address_of_flag(flag);
355 guarantee(faddr != NULL && faddr->is_bool(), "wrong flag type");
356 faddr->set_bool(value);
357 faddr->origin = origin;
380 Flag* faddr = address_of_flag(flag);
381 guarantee(faddr != NULL && faddr->is_intx(), "wrong flag type");
382 faddr->set_intx(value);
383 faddr->origin = origin;
406 Flag* faddr = address_of_flag(flag);
407 guarantee(faddr != NULL && faddr->is_uintx(), "wrong flag type");
408 faddr->set_uintx(value);
409 faddr->origin = origin;
432 Flag* faddr = address_of_flag(flag);
433 guarantee(faddr != NULL && faddr->is_uint64_t(), "wrong flag type");
434 faddr->set_uint64_t(value);
435 faddr->origin = origin;
458 Flag* faddr = address_of_flag(flag);
459 guarantee(faddr != NULL && faddr->is_double(), "wrong flag type");
460 faddr->set_double(value);
461 faddr->origin = origin;
498 Flag* faddr = address_of_flag(flag);
499 guarantee(faddr != NULL && faddr->is_ccstr(), "wrong flag type");
500 ccstr old_value = faddr->get_ccstr();
503 faddr->set_ccstr(new_value);
504 if (faddr->origin != DEFAULT && old_value != NULL) {
508 faddr->origin = origin;