/* SPDX-License-Identifier: GPL-2.0-only */
#ifndef __PPC_CONFIG_H__
#define __PPC_CONFIG_H__

#include <xen/const.h>
#include <xen/page-size.h>

#if defined(CONFIG_PPC64)
#define ELFSIZE        64
#define MAX_VIRT_CPUS  1024u
#else
#error "Unsupported PowerPC variant"
#endif

/* xen_ulong_t is always 64 bits */
#define BITS_PER_XEN_ULONG 64

#define CONFIG_PPC_L1_CACHE_SHIFT  7
#define CONFIG_PAGEALLOC_MAX_ORDER 18
#define CONFIG_DOMU_MAX_ORDER      9
#define CONFIG_HWDOM_MAX_ORDER     10

#define OPT_CONSOLE_STR "dtuart"
#define INVALID_VCPU_ID MAX_VIRT_CPUS

#define XEN_VIRT_START _AC(0xc000000000000000, UL)

/* Fixed address for start of the section containing exception vectors */
#define EXCEPTION_VECTORS_START _AC(0xc000000000000100, UL)

#define VMAP_VIRT_START (XEN_VIRT_START + GB(1))
#define VMAP_VIRT_SIZE  GB(1)

#define FRAMETABLE_VIRT_START  (XEN_VIRT_START + GB(32))
#define FRAMETABLE_SIZE        GB(32)
#define FRAMETABLE_NR          (FRAMETABLE_SIZE / sizeof(*frame_table))

#define HYPERVISOR_VIRT_START  XEN_VIRT_START

#define SMP_CACHE_BYTES (1 << 6)

#define STACK_ORDER 0
#define STACK_SIZE  (PAGE_SIZE << STACK_ORDER)

/* 288 bytes below the stack pointer must be preserved by interrupt handlers */
#define STACK_VOLATILE_AREA 288

/* size of minimum stack frame; C code can write into the caller's stack */
#define STACK_FRAME_OVERHEAD 32

/* ELFv2 ABI mandates 16 byte alignment */
#define STACK_ALIGN 16

#endif /* __PPC_CONFIG_H__ */
/*
 * Local variables:
 * mode: C
 * c-file-style: "BSD"
 * c-basic-offset: 4
 * indent-tabs-mode: nil
 * End:
 */
