/* Check if PTE can be modified, if not branch to LABEL. Regardless restore PTE with value from PTR when done.  */
static void __cpuinit build_pte_modifiable(u32 **p, struct uasm_reloc **r, unsigned int pte, unsigned int ptr, enum label_id lid)
/* Check if PTE can be modified, if not branch to LABEL. Regardless restore PTE with value from PTR when done.  */
static void __cpuinit build_pte_modifiable(u32 **p, struct uasm_reloc **r, unsigned int pte, unsigned int ptr, enum label_id lid)
{
	uasm_i_andi(p, pte, pte, _PAGE_WRITE);
	uasm_il_beqz(p, r, pte, lid);
	iPTE_LW(p, pte, ptr);
}