extern volatile unsigned *ras_page;