/* Note the full page bits must be in the same location as for normal
* 4k pages as the same assembly will be used to insert 64K pages
/* Note the full page bits must be in the same location as for normal
* 4k pages as the same assembly will be used to insert 64K pages