Some changes to paging/paging_asm