build_get_ptep
void build_get_ptep(u32 **p, unsigned int tmp, unsigned int ptr);
build_get_ptep(&p, GPR_K0, GPR_K1);
EXPORT_SYMBOL_GPL(build_get_ptep);