// SPDX-License-Identifier: GPL-2.0-or-later
/*
 * Copyright (C) 2000, 2001, 2002, 2003, 2004 Broadcom Corporation
 * Copyright (C) 2004 by Ralf Baechle (ralf@linux-mips.org)
 */

/*
 * Setup code for the SWARM board
 */

#include <linux/spinlock.h>
#include <linux/mm.h>
#include <linux/memblock.h>
#include <linux/init.h>
#include <linux/kernel.h>
#include <linux/console.h>
#include <linux/screen_info.h>
#include <linux/initrd.h>

#include <asm/irq.h>
#include <asm/io.h>
#include <asm/bootinfo.h>
#include <asm/mipsregs.h>
#include <asm/reboot.h>
#include <asm/time.h>
#include <asm/traps.h>
#include <asm/sibyte/sb1250.h>
#ifdef CONFIG_SIBYTE_BCM1x80
#include <asm/sibyte/bcm1480_regs.h>
#elif defined(CONFIG_SIBYTE_SB1250) || defined(CONFIG_SIBYTE_BCM112X)
#include <asm/sibyte/sb1250_regs.h>
#else
#error invalid SiByte board configuration
#endif
#include <asm/sibyte/sb1250_genbus.h>
#include <asm/sibyte/board.h>

#ifdef CONFIG_SIBYTE_BCM1x80
extern void bcm1480_setup(void);
#elif defined(CONFIG_SIBYTE_SB1250) || defined(CONFIG_SIBYTE_BCM112X)
extern void sb1250_setup(void);
#else
#error invalid SiByte board configuration
#endif

extern int xicor_probe(void);
extern int xicor_set_time(time64_t);
extern time64_t xicor_get_time(void);

extern int m41t81_probe(void);
extern int m41t81_set_time(time64_t);
extern time64_t m41t81_get_time(void);

const char *get_system_type(void)
{
 return "SiByte " SIBYTE_BOARD_NAME;
}

int swarm_be_handler(struct pt_regs *regs, int is_fixup)
{
 if (!is_fixup && (regs->cp0_cause & 4)) {
  /* Data bus error - print PA */
  printk("DBE physical address: %010Lx\n",
         __read_64bit_c0_register($26, 1));
 }
 return is_fixup ? MIPS_BE_FIXUP : MIPS_BE_FATAL;
}

enum swarm_rtc_type {
 RTC_NONE,
 RTC_XICOR,
 RTC_M41T81,
};

enum swarm_rtc_type swarm_rtc_type;

void read_persistent_clock64(struct timespec64 *ts)
{
 time64_t sec;

 switch (swarm_rtc_type) {
 case RTC_XICOR:
  sec = xicor_get_time();
  break;

 case RTC_M41T81:
  sec = m41t81_get_time();
  break;

 case RTC_NONE:
 default:
  sec = mktime64(2000, 1, 1, 0, 0, 0);
  break;
 }
 ts->tv_sec = sec;
 ts->tv_nsec = 0;
}

int update_persistent_clock64(struct timespec64 now)
{
 time64_t sec = now.tv_sec;

 switch (swarm_rtc_type) {
 case RTC_XICOR:
  return xicor_set_time(sec);

 case RTC_M41T81:
  return m41t81_set_time(sec);

 case RTC_NONE:
 default:
  return -1;
 }
}

#ifdef CONFIG_VGA_CONSOLE
static struct screen_info vgacon_screen_info = {
 .orig_video_page = 52,
 .orig_video_mode = 3,
 .orig_video_cols = 80,
 .flags   = 12,
 .orig_video_ega_bx = 3,
 .orig_video_lines = 25,
 .orig_video_isVGA = 0x22,
 .orig_video_points = 16,
};
#endif

void __init plat_mem_setup(void)
{
#ifdef CONFIG_SIBYTE_BCM1x80
 bcm1480_setup();
#elif defined(CONFIG_SIBYTE_SB1250) || defined(CONFIG_SIBYTE_BCM112X)
 sb1250_setup();
#else
#error invalid SiByte board configuration
#endif

 mips_set_be_handler(swarm_be_handler);

 if (xicor_probe())
  swarm_rtc_type = RTC_XICOR;
 if (m41t81_probe())
  swarm_rtc_type = RTC_M41T81;

#ifdef CONFIG_VGA_CONSOLE
 vgacon_register_screen(&vgacon_screen_info);
       /* XXXKW for CFE, get lines/cols from environment */
#endif
}

#ifdef LEDS_PHYS

void setleds(char *str)
{
 void *reg;
 int i;

 for (i = 0; i < 4; i++) {
  reg = IOADDR(LEDS_PHYS) + 0x20 + ((3 - i) << 3);

  if (!str[i])
   writeb(' ', reg);
  else
   writeb(str[i], reg);
 }
}

#endif /* LEDS_PHYS */