Thanks Scott, Allen and Ved for your clarification!
Still one little question: What happens when MMU is disabled (VA=PA) and bit [63:56] is not zero? Still report Access Fault? Or are we assuming the full-PA width is 64 or 56?
Btw I would appreciate it if someone could add what we've discuss above, about PA width, into the privileged spec :)