/*
 * Copyright (c) 2018 The NetBSD Foundation, Inc. All rights reserved.
 *
 * This code is derived from software contributed to The NetBSD Foundation
 * by Maxime Villard.
 *
 * 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 NETBSD FOUNDATION, INC. AND CONTRIBUTORS
 * ``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 FOUNDATION OR CONTRIBUTORS
 * 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.
 */

#ifndef SMALLKERN_H_
#define SMALLKERN_H_

/*
 * Must define _KERNEL on DragonFly, otherwise some necessary bits/headers
 * won't be pulled in.  However, don't define _KERNEL on NetBSD, because it
 * would try to pull in kernel headers not installed in /usr/include.
 */
#ifdef __DragonFly__
#define _KERNEL
#endif

#include <sys/cdefs.h>
#include <sys/param.h>
#ifdef __NetBSD__
#include <sys/stdbool.h>
#else /* DragonFly */
#include <sys/stdint.h>
#endif

#define MM_PROT_READ	0x00
#define MM_PROT_WRITE	0x01
#define MM_PROT_EXECUTE	0x02

#define WHITE_ON_BLACK	0x07
#define RED_ON_BLACK	0x04
#define GREEN_ON_BLACK	0x02

#define ASSERT(a)	if (!(a)) fatal("ASSERT");
#define memset(d, v, l)	__builtin_memset(d, v, l)
#define memcpy(d, v, l)	__builtin_memcpy(d, v, l)

typedef uint64_t paddr_t;
typedef uint64_t vaddr_t;
typedef uint64_t pt_entry_t;
typedef uint64_t pd_entry_t;
typedef uint64_t pte_prot_t;

struct smallframe;

/* -------------------------------------------------------------------------- */

/* console.c */
void print(char *);
void print_banner(void);
void print_ext(int, char *);
void print_state(bool, char *);

/* locore.S */
extern uint32_t nox_flag;
extern uint64_t *gdt64_start;
extern vaddr_t lapicbase;

void clts(void);
void cpuid(uint32_t, uint32_t, uint32_t *);
void lcr8(uint64_t);
void lidt(void *);
void outsb(int port, char *buf, size_t size);
uint64_t rdmsr(uint64_t);
void sti(void);
void vmmcall(void);

/* main.c */
void fatal(char *);
void trap(struct smallframe *);

/* trap.S */
typedef void (vector)(void);
extern vector *x86_exceptions[];
extern vector Xintr; /* IDTVEC(intr) */

#endif /* !SMALLKERN_H_ */