regVM_L2_CONTEXT1_IDENTITY_APERTURE_HIGH_ADDR_LO32
regVM_L2_CONTEXT1_IDENTITY_APERTURE_HIGH_ADDR_LO32,
regVM_L2_CONTEXT1_IDENTITY_APERTURE_HIGH_ADDR_LO32, 0);