px_get_rng_parent_hi_mask
extern uint64_t px_get_rng_parent_hi_mask(px_t *px_p);
xlated_regspec.regspec_bustype &= px_get_rng_parent_hi_mask(px_p);
mask = px_get_rng_parent_hi_mask(px_p);