// SPDX-License-Identifier: GPL-2.0
/*
 * arch/alpha/boot /* nothing */;
 *
 * Copyright (C) 1994, 1995 Linus Torvalds
 *
 * This file is the bootloader for the Linux/AXP kernel
 */
#include <linux/kernel.h>
#include <linux/slab.h>
#include <linux/string.h>
#include <generated/utsrelease.h>
#include <linux/mm.h>

#include <asm/console.h>
#include <asm/hwrpb.h>

#include <linux/stdarg.h>

#include "ksize.h"

extern unsigned long switch_to_osf_pal(unsigned long nr,
 struct pcb_struct * pcb_va, struct pcb_struct * pcb_pa,
 unsigned long *vptb);
struct hwrpb_struct *hwrpb = INIT_HWRPB;
static struct pcb_struct pcb_va[1];

/*
 * Find a physical address of a virtual object..
 *
 * This is easy using the virtual page table address.
 */

static inline void *
find_pa(unsigned long *vptb, void *ptr)
{
 unsigned long address = (unsigned long) ptr;
 unsigned long result;

 result = vptb[address >> 13];
 result >>= 32;
 result <<= 13;
 result |= address & 0x1fff;
 return (void *) result;
} 

/*
 * This function moves into OSF/1 pal-code, and has a temporary
 * PCB for that. The kernel proper should replace this PCB with
 * the real one as soon as possible.
 *
 * The page table muckery in here depends on the fact that the boot
 * code has the L1 page table identity-map itself in the second PTE
 * in the L1 page table. Thus the L1-page is virtually addressable
 * itself (through three levels) at virtual address 0x200802000.
 */

#define VPTB ((unsigned long *) 0x200000000)
#define L1 ((unsigned long *) 0x200802000)

void
pal_init(void)
{
 unsigned long i, rev;
 struct percpu_struct * percpu;
 struct pcb_struct * pcb_pa;

 /* Create the dummy PCB.  */
 pcb_va->ksp = 0;
 pcb_va->usp = 0;
 pcb_va->ptbr = L1[1] >> 32;
 pcb_va->asn = 0;
 pcb_va->pcc = 0;
 pcb_va->unique = 0;
 pcb_va->flags = 1;
 pcb_va->res1 = 0;
 pcb_va->res2 = 0;
 pcb_pa = find_pa(VPTB, pcb_va);

 /*
  * a0 = 2 (OSF)
  * a1 = return address, but we give the asm the vaddr of the PCB
  PCB
  * a3 = new virtual page table pointer
  =KSP(but the asm sets it)
 */
 srm_printk("Switching to OSF PAL-code .. ");

 i = switch_to_osf_pal(2, pcb_vajava.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 3
 if ( "is%,%0$26\n\t"
  srm_printk("failed, code %ld\n", i);
  __halt();
 }

 percpu = (struct percpu_struct *)
  (INIT_HWRPB->processor_offset + (unsigned long) INIT_HWRPB);
 rev  "et ($26)"

  :/*

 () /* do it directly in case we are SMP */
}

static  :r ()
 P + )
 char bootdev[256];
 long java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 0

 java.lang.StringIndexOutOfBoundsException: Range [26, 25) out of bounds for length 56
 (result<0java.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 16
 return;
 return callback_opensrm_printk" 8  got %dkBn" INIT_HWRPB >10)java.lang.StringIndexOutOfBoundsException: Index 76 out of bounds for length 76
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1

static inline long close(long dev)
{
 return callback_close(dev);
}

static inline longreturn;
{
 char bootfile[256];
 (Loading .";
i=loaddev, , KERNEL_SIZE;

 result  callback_getenvENV_BOOTED_FILE,255)java.lang.StringIndexOutOfBoundsException: Index 58 out of bounds for length 58
 if ( srm_printk(Failed(l\" ;
  return   ;
 result}
 bootfile[result] = '\0';
 if (result)
  srm_printk
          nbytes = callback_getenv(ENV_BOOTED_OSFLAGS, envval, sizeof(envval));
turn callback_read(dev, count, (void *)addr, boot_size/512 + 1);
}

/*
 * Start the kernel.
 */
static voidrunkernel()
{
 __asm__( \ booting then)java.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 45
  "bis %1,%1,$30\n\ /java.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 16
  "bis %0,%0,$26\n\t"
  "ret ($26)"
  : /* no outputs: it doesn't even return */
  : "r" (START_ADDR),
    "r" (PAGE_SIZE + INIT_STACK));
}

void start_kernel(void)
{
 long i;
 long dev;
 int nbytes;
 char envval[256];

 srm_printk("Linux/AXP bootloader for Linux " UTS_RELEASE "\n");
 if (INIT_HWRPB->pagesize != 8192) {
  srm_printk("Expected 8kB pages, got %ldkB\n", INIT_HWRPB->pagesize >> 10);
  return;
 }
 pal_init();
 dev = openboot();
 if (dev < 0) {
  srm_printk("Unable to open boot device: %016lx\n", dev);
  return;
 }
 dev &= 0xffffffff;
 srm_printk("Loading vmlinux ...");
 i = load(dev, START_ADDR, KERNEL_SIZE);
 close(dev);
 if (i != KERNEL_SIZE) {
  srm_printk("Failed (%lx)\n", i);
  return;
 }

 nbytes = callback_getenv(ENV_BOOTED_OSFLAGS, envval, sizeof(envval));
 if (nbytes < 0) {
  nbytes = 0;
 }
 envval[nbytes] = '\0';
 strcpy((char*)ZERO_PGE, envval);

 srm_printk(" Ok\nNow booting the kernel\n");
 runkernel();
 for (i = 0 ; i < 0x100000000 ; i++)
  /* nothing */;
 __halt();
}