get_domain_base
return get_domain_base(domain) + (PWR_L2_READY - PWR_L2_PRESENT);
return get_domain_base(domain) + (PWR_L2_PWRTRANS - PWR_L2_PRESENT);
return get_domain_base(domain) != 0;