arm64: disable deadcode introduced by PR #643

This commit is contained in:
Nguyen Anh Quynh 2016-09-29 12:34:44 +08:00
parent 507d557aa5
commit 7d15a60b25

View file

@ -1862,8 +1862,8 @@ static void tlbi_aa64_asid_write(CPUARMState *env, const ARMCPRegInfo *ri,
static void tlbi_aa64_va_is_write(CPUARMState *env, const ARMCPRegInfo *ri, static void tlbi_aa64_va_is_write(CPUARMState *env, const ARMCPRegInfo *ri,
uint64_t value) uint64_t value)
{ {
uint64_t pageaddr = sextract64(value << 12, 0, 56); //uint64_t pageaddr = sextract64(value << 12, 0, 56);
struct uc_struct *uc = env->uc; //struct uc_struct *uc = env->uc;
// TODO: issue #642 // TODO: issue #642
// tlb_flush(other_cpu, pageaddr); // tlb_flush(other_cpu, pageaddr);
} }
@ -1871,8 +1871,8 @@ static void tlbi_aa64_va_is_write(CPUARMState *env, const ARMCPRegInfo *ri,
static void tlbi_aa64_vaa_is_write(CPUARMState *env, const ARMCPRegInfo *ri, static void tlbi_aa64_vaa_is_write(CPUARMState *env, const ARMCPRegInfo *ri,
uint64_t value) uint64_t value)
{ {
uint64_t pageaddr = sextract64(value << 12, 0, 56); //uint64_t pageaddr = sextract64(value << 12, 0, 56);
struct uc_struct *uc = env->uc; //struct uc_struct *uc = env->uc;
// TODO: issue #642 // TODO: issue #642
// tlb_flush(other_cpu, pageaddr); // tlb_flush(other_cpu, pageaddr);
} }
@ -1880,8 +1880,8 @@ static void tlbi_aa64_vaa_is_write(CPUARMState *env, const ARMCPRegInfo *ri,
static void tlbi_aa64_asid_is_write(CPUARMState *env, const ARMCPRegInfo *ri, static void tlbi_aa64_asid_is_write(CPUARMState *env, const ARMCPRegInfo *ri,
uint64_t value) uint64_t value)
{ {
int asid = extract64(value, 48, 16); //int asid = extract64(value, 48, 16);
struct uc_struct *uc = env->uc; //struct uc_struct *uc = env->uc;
// TODO: issue #642 // TODO: issue #642
// tlb_flush(other_cpu, asid == 0); // tlb_flush(other_cpu, asid == 0);
} }