4832 /* pmap_load() is needed */