public void ChangedVA(UInt16 new_va) { cia_vabase = (UInt16)(new_va << 14); WriteRegister(0x18, vbase); // Force update of memory pointers }