Exemplo n.º 1
0
 /* #AArch64.ResetSpecialRegisters.0 */
 public static void ResetSpecialRegisters()
 {
     // AArch64 special registers
     /* SP_EL0 = bits(64) UNKNOWN; */
     SP_EL0.SetAll(false);
     /* SP_EL1 = bits(64) UNKNOWN; */
     SP_EL1.SetAll(false);
 }
Exemplo n.º 2
0
        /* #AArch64.ResetSpecialRegisters.0 */
        public static void ResetSpecialRegisters()
        {
            // AArch64 special registers
            /* SP_EL0 = bits(64) UNKNOWN; */
            SP_EL0.SetAll(false);
            /* SP_EL1 = bits(64) UNKNOWN; */
            SP_EL1.SetAll(false);

            FPSR.SetAll(false); // FIXME: Temporary solution.
        }
Exemplo n.º 3
0
        /* shared_pseudocode.html#AArch64.ResetSpecialRegisters.0 */
        public static void ResetSpecialRegisters()
        {
            // AArch64 special registers
            /* SP_EL0 = bits(64) UNKNOWN; */
            SP_EL0.SetAll(false);
            /* SP_EL1 = bits(64) UNKNOWN; */
            SP_EL1.SetAll(false);

            FPSR.SetAll(false); // TODO: Add named fields.
        }