RE: pagetables used in interrupt context