Value stored is never read.
Signed-off-by: Blue Swirl <blauwirbel@gmail.com>
if (kernel_filename) {
uint64_t entry, low, high;
- int kcmdline_len;
uint32_t base32;
/* Boots a kernel elf binary. */
}
boot_info.cmdline = ddr_base + kernel_size + 8192;
- if (kernel_cmdline && (kcmdline_len = strlen(kernel_cmdline))) {
+ if (kernel_cmdline && strlen(kernel_cmdline)) {
pstrcpy_targphys("cmdline", boot_info.cmdline, 256, kernel_cmdline);
}
/* Provide a device-tree. */
{
struct microblaze_mmu *mmu = &env->mmu;
unsigned int i;
- unsigned int tlb_size;
- uint32_t tlb_tag, mask, t;
+ uint32_t t;
if (newpid & ~0xff)
qemu_log("Illegal rpid=%x\n", newpid);
/* Lookup and decode. */
t = mmu->rams[RAM_TAG][i];
if (t & TLB_VALID) {
- tlb_size = tlb_decode_size((t & TLB_PAGESZ_MASK) >> 7);
- mask = ~(tlb_size - 1);
-
- tlb_tag = t & TLB_EPN_MASK;
if (mmu->tids[i] && ((mmu->regs[MMU_R_PID] & 0xff) == mmu->tids[i]))
mmu_flush_idx(env, i);
}