/* * note that for some ports this is used by pmap bootstrap code to * determine kva size. */