LEON_BYPASS_LOAD_PA
ped = LEON_BYPASS_LOAD_PA(ptr);
ptr = LEON_BYPASS_LOAD_PA(ptr);
pgd = LEON_BYPASS_LOAD_PA(ctxtbl + (ctx * 4));
pmd = LEON_BYPASS_LOAD_PA(ptr);