/* CPU dependent fields for memory management */
 
extern CTE *cpumempg[4];   /* page locked into window or NULL */