/*
** Copyright 2003, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
** Distributed under the terms of the MIT License.
*/
#ifndef KERNEL_ARCH_M68K_KERNEL_ARGS_H
#define KERNEL_ARCH_M68K_KERNEL_ARGS_H

#ifndef KERNEL_BOOT_KERNEL_ARGS_H
#       error This file is included from <boot/kernel_args.h> only
#endif

#define _PACKED __attribute__((packed))

//#define MAX_VIRTUAL_RANGES_TO_KEEP    32

// kernel args
typedef struct {
        int                     cpu_type; // decimal: 68030, ...
        int                     fpu_type; // decimal: 68030, ...
        int                     mmu_type; // decimal: 68030, ...
        int                     platform; // M68K_PLATFORM_*
        int                     machine;  // platform specific machine type
        bool                    has_lpstop; //XXX: use bit flags
        // architecture specific
        uint64          cpu_frequency;
        uint64          bus_frequency;
        uint64          time_base_frequency;

        // page root table
        uint32  phys_pgroot;
        uint32  vir_pgroot;
        // interrupt vector table (VBR)
        uint32  phys_vbr;
        uint32  vir_vbr;
//XXX:
        addr_range      page_table;             // virtual address and size of the page table
        addr_range      exception_handlers;
        addr_range      framebuffer;            // maps where the framebuffer is located, in physical memory
        int             screen_x, screen_y, screen_depth;

        // The virtual ranges we want to keep in the kernel. E.g. those belonging
        // to the Open Firmware.
//      uint32          num_virtual_ranges_to_keep;
//      addr_range      virtual_ranges_to_keep[MAX_VIRTUAL_RANGES_TO_KEEP];

        // platform specific
        union {
                struct {
                        struct {
                                //XXX: are those meant to be used by physical
                                // or virtual address ?
                                uint32 (*nf_get_id)(const char *);
                                int32 (*nf_call)(uint32, ...);
                                addr_t nf_page;
                                uint32 nf_dprintf_id;
                        } nat_feat;
                } atari;
        } plat_args;
} arch_kernel_args;

#endif  /* KERNEL_ARCH_M68K_KERNEL_ARGS_H */