DPLL_REGISTERED
if (xa_get_mark(&dpll_device_xa, id, DPLL_REGISTERED))
WARN_ON_ONCE(!xa_get_mark(&dpll_device_xa, (d)->id, DPLL_REGISTERED))
WARN_ON_ONCE(xa_get_mark(&dpll_device_xa, (d)->id, DPLL_REGISTERED))
WARN_ON_ONCE(!xa_get_mark(&dpll_pin_xa, (p)->id, DPLL_REGISTERED))
xa_set_mark(&dpll_device_xa, dpll->id, DPLL_REGISTERED);
xa_clear_mark(&dpll_device_xa, dpll->id, DPLL_REGISTERED);
xa_set_mark(&dpll_pin_xa, pin->id, DPLL_REGISTERED);
xa_clear_mark(&dpll_pin_xa, pin->id, DPLL_REGISTERED);
xa_for_each_marked(&dpll_pin_xa, i, pin, DPLL_REGISTERED) {
xa_for_each_marked_start(&dpll_pin_xa, i, pin, DPLL_REGISTERED,
xa_for_each_marked(&dpll_device_xa, i, dpll, DPLL_REGISTERED) {
xa_for_each_marked_start(&dpll_device_xa, i, dpll, DPLL_REGISTERED,
if (!xa_get_mark(&dpll_pin_xa, pin->id, DPLL_REGISTERED))
DPLL_REGISTERED))
DPLL_REGISTERED))
if (WARN_ON(!xa_get_mark(&dpll_device_xa, dpll->id, DPLL_REGISTERED)))