build_get_pmde64
void build_get_pmde64(u32 **p, struct uasm_label **l, struct uasm_reloc **r,
build_get_pmde64(&p, &l, &r, GPR_K0, GPR_K1); /* get pmd in GPR_K1 */
build_get_pmde64(&p, &l, &r, GPR_K0, GPR_K1); /* get pmd in GPR_K1 */
build_get_pmde64(p, l, r, wr.r1, wr.r2); /* get pmd in ptr */
EXPORT_SYMBOL_GPL(build_get_pmde64);