/* Check if PTE is present, if not then jump to LABEL. PTR points to the page table where this PTE is located, PTE will be re-loaded with it's original value.  */
static void __cpuinit build_pte_present(u32 **p, struct uasm_reloc **r, unsigned int pte, unsigned int ptr, enum label_id lid)
/* Check if PTE is present, if not then jump to LABEL. PTR points to the page table where this PTE is located, PTE will be re-loaded with it's original value.  */
static void __cpuinit build_pte_present(u32 **p, struct uasm_reloc **r, unsigned int pte, unsigned int ptr, enum label_id lid)
{
	uasm_i_andi(p, pte, pte, _PAGE_PRESENT | _PAGE_READ);
	uasm_i_xori(p, pte, pte, _PAGE_PRESENT | _PAGE_READ);
	uasm_il_bnez(p, r, pte, lid);
	iPTE_LW(p, pte, ptr);
}