G-stage address translation


Paul Donahue
 

I think that there are a few problems in section 5.5.1 of the hypervisor spec.  It says that G-stage translation follows the same algorithm as section 4.3.2 with a few changes.  However:
1. the first bullet refers to step 1 of section 4.3.2 but should refer to step 2
2. it should specify that VALEN is 34/41/50 for Sv32x4/Sv39x4/Sv48x4
3. it should say that step 1 of 4.3.2 checks for zero extension rather than sign extension


Thanks,

-Paul


John Hauser
 

Paul Donahue wrote:
I think that there are a few problems in section 5.5.1 of the hypervisor
spec. It says that G-stage translation follows the same algorithm as
section 4.3.2 with a few changes. However: [... some things are wrong]
It seems the algorithm in section 4.3.2 was edited since section 5.5.1
was written. I'm looking at updating section 5.5.1 to adapt to the
changes.

- John H.