/*      $NetBSD: mips.c,v 1.2 2021/12/11 19:24:22 mrg Exp $     */

/*
* Copyright (c) 2020 Matthew R. Green
* All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
* 1. Redistributions of source code must retain the above copyright
*    notice, this list of conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright
*    notice, this list of conditions and the following disclaimer in the
*    documentation and/or other materials provided with the distribution.
*
* THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
* IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
* IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
* BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
* LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
* AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
* OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
* SUCH DAMAGE.
*/

#include <sys/cdefs.h>
#ifndef lint
__RCSID("$NetBSD: mips.c,v 1.2 2021/12/11 19:24:22 mrg Exp $");
#endif /* not lint */

#include <ddb/ddb.h>

#include <kvm.h>
#include <nlist.h>
#include <err.h>
#include <stdlib.h>

#include <machine/pcb.h>

#include "extern.h"

static struct nlist nl[] = {
       { .n_name = "dumppcb" },
       { .n_name = "cpu_switchto" },
       { .n_name = NULL },
};

struct pcb      pcb;

void
db_mach_init(kvm_t *kd)
{

       if (kvm_nlist(kd, nl) == -1) {
               errx(EXIT_FAILURE, "kvm_nlist: %s", kvm_geterr(kd));
       }
       if ((size_t)kvm_read(kd, nl[0].n_value, &pcb, sizeof(pcb)) !=
           sizeof(pcb)) {
               warnx("cannot read dumppcb: %s", kvm_geterr(kd));
       }
}

/* Provided for db_trace.c. */
vaddr_t
db_mach_addr_cpuswitch(void)
{
       return (vaddr_t)nl[1].n_value;
}