build_get_pgde32
void build_get_pgde32(u32 **p, unsigned int tmp, unsigned int ptr);
build_get_pgde32(&p, GPR_K0, GPR_K1); /* get pgd in GPR_K1 */
build_get_pgde32(&p, GPR_K0, GPR_K1); /* get pgd in GPR_K1 */
build_get_pgde32(p, wr.r1, wr.r2); /* get pgd in ptr */
EXPORT_SYMBOL_GPL(build_get_pgde32);