Description: We always define HW_PAGE_SHIFT to 12 as use of 64K pages remains Linux specific, every notion of page number shared with the firmware, TCEs, iommu, etc.. still uses a page size of 4K.
To Search:
File list (Check if you may need any files):
page_64.c