/* also referenced from xen_locore() */ /* from pmap.c */