Searched refs:bbled_base (Results 1 – 1 of 1) sorted by relevance
31 static void print_bbled_regs(mem_addr_t bbled_base) in print_bbled_regs() argument35 if (!bbled_base) { in print_bbled_regs()39 LOG_INF("BBLED @ 0x%lx", bbled_base); in print_bbled_regs()41 r = sys_read32(bbled_base); in print_bbled_regs()43 r = sys_read32(bbled_base + 4U); in print_bbled_regs()45 r = sys_read32(bbled_base + 8U); in print_bbled_regs()47 r = sys_read32(bbled_base + 0xcU); in print_bbled_regs()49 r = sys_read32(bbled_base + 0x10U); in print_bbled_regs()51 r = sys_read32(bbled_base + 0x14U); in print_bbled_regs()
