/* * Get the machine address of the pointed pte * We use hardware MMU to get value so works only for levels 1-3 */