diff --git a/repos/base-hw/src/core/include/spec/x86/cpu.h b/repos/base-hw/src/core/include/spec/x86/cpu.h index 0c0b6730b..b1ce01816 100644 --- a/repos/base-hw/src/core/include/spec/x86/cpu.h +++ b/repos/base-hw/src/core/include/spec/x86/cpu.h @@ -16,10 +16,15 @@ #ifndef _CPU_H_ #define _CPU_H_ +/* Genode includes */ #include -#include #include #include + +/* base includes */ +#include + +/* core includes */ #include #include #include @@ -65,14 +70,12 @@ class Genode::Cpu_lazy_state /** * Load x87 FPU State from fxsave area. */ - inline void load() { - asm volatile ("fxrstor %0" : : "m" (*start)); } + inline void load() { asm volatile ("fxrstor %0" : : "m" (*start)); } /** * Save x87 FPU State to fxsave area. */ - inline void save() { - asm volatile ("fxsave %0" : "=m" (*start)); } + inline void save() { asm volatile ("fxsave %0" : "=m" (*start)); } public: @@ -95,6 +98,7 @@ class Genode::Cpu friend class Cpu_lazy_state; private: + Idt *_idt; Tss *_tss; Cpu_lazy_state *_fpu_state; @@ -138,22 +142,18 @@ class Genode::Cpu /** * Enable FPU by clearing the TS flag in CR0. */ - static void _enable_fpu() { - asm volatile ("clts"); } + static void _enable_fpu() { asm volatile ("clts"); } /** * Initialize FPU without checking for pending unmasked floating-point * exceptions. */ - static void _init_fpu() { - asm volatile ("fninit"); - } + static void _init_fpu() { asm volatile ("fninit"); } /** * Returns True if the FPU is enabled. */ - static bool is_fpu_enabled() { - return !Cr0::Ts::get(Cr0::read()); } + static bool is_fpu_enabled() { return !Cr0::Ts::get(Cr0::read()); } public: @@ -362,8 +362,7 @@ class Genode::Cpu * Flush data-cache entries for virtual region ['base', 'base + size') */ static void - flush_data_caches_by_virt_region(addr_t base, size_t const size) - { } + flush_data_caches_by_virt_region(addr_t base, size_t const size) { } /** * Bin instr.-cache entries for virtual region ['base', 'base + size') @@ -384,26 +383,22 @@ class Genode::Cpu init_virt_kernel(addr_t const table, unsigned const process_id) { Cr3::write(Cr3::init(table)); } - inline static void finish_init_phys_kernel() { - _init_fpu(); } + inline static void finish_init_phys_kernel() { _init_fpu(); } /** * Configure this module appropriately for the first kernel run */ - static void init_phys_kernel() { - Timer::disable_pit(); }; + static void init_phys_kernel() { Timer::disable_pit(); }; /** * Finish all previous data transfers */ - static void data_synchronization_barrier() - { } + static void data_synchronization_barrier() { } /** * Enable secondary CPUs with instr. pointer 'ip' */ - static void start_secondary_cpus(void * const ip) - { } + static void start_secondary_cpus(void * const ip) { } /** * Wait for the next interrupt as cheap as possible diff --git a/repos/base-hw/src/core/include/spec/x86/macros.s b/repos/base-hw/src/core/include/spec/x86/macros.s index b59314cbe..88adf1ab0 100644 --- a/repos/base-hw/src/core/include/spec/x86/macros.s +++ b/repos/base-hw/src/core/include/spec/x86/macros.s @@ -11,6 +11,11 @@ * under the terms of the GNU General Public License version 2. */ -/* core includes */ -.include "spec/x86/macros_support.s" +/*************************************************** + ** Constant values that are pretty commonly used ** + ***************************************************/ + +/* alignment constraints */ +.set MIN_PAGE_SIZE_LOG2, 12 +.set DATA_ACCESS_ALIGNM_LOG2, 2 diff --git a/repos/base-hw/src/core/include/spec/x86/macros_support.s b/repos/base-hw/src/core/include/spec/x86/macros_support.s deleted file mode 100644 index e38926f77..000000000 --- a/repos/base-hw/src/core/include/spec/x86/macros_support.s +++ /dev/null @@ -1,20 +0,0 @@ -/* - * \brief Macros that are used by multiple assembly files - * \author Martin Stein - * \date 2014-01-13 - */ - -/* - * Copyright (C) 2014 Genode Labs GmbH - * - * This file is part of the Genode OS framework, which is distributed - * under the terms of the GNU General Public License version 2. - */ - -/*************************************************** - ** Constant values that are pretty commonly used ** - ***************************************************/ - -/* alignment constraints */ -.set MIN_PAGE_SIZE_LOG2, 12 -.set DATA_ACCESS_ALIGNM_LOG2, 2 diff --git a/repos/base-hw/src/core/include/spec/x86/pic.h b/repos/base-hw/src/core/include/spec/x86/pic.h index 8fcf59cfb..be6613100 100644 --- a/repos/base-hw/src/core/include/spec/x86/pic.h +++ b/repos/base-hw/src/core/include/spec/x86/pic.h @@ -14,9 +14,12 @@ #ifndef _PIC_H_ #define _PIC_H_ -#include +/* Genode includes */ #include +/* core includes */ +#include + namespace Genode { /** @@ -153,8 +156,6 @@ class Genode::Pic : public Mmio void finish_request(); - void mask() { } - void unmask(unsigned const i, unsigned); void mask(unsigned const i); @@ -163,6 +164,7 @@ class Genode::Pic : public Mmio * Dummies */ + void mask() { } void init_cpu_local() { } bool is_ip_interrupt(unsigned, unsigned) { return false; } void trigger_ip_interrupt(unsigned) { } diff --git a/repos/base-hw/src/core/include/spec/x86/serial.h b/repos/base-hw/src/core/include/spec/x86/serial.h index 48a1db18d..b797b3740 100644 --- a/repos/base-hw/src/core/include/spec/x86/serial.h +++ b/repos/base-hw/src/core/include/spec/x86/serial.h @@ -60,31 +60,29 @@ static void init_comport(Genode::uint16_t port, unsigned baud) if (!port) return; - const unsigned - IER = port + 1, - EIR = port + 2, - LCR = port + 3, - MCR = port + 4, - LSR = port + 5, - MSR = port + 6, - DLLO = port + 0, - DLHI = port + 1; + unsigned const ier = port + 1; + unsigned const eir = port + 2; + unsigned const lcr = port + 3; + unsigned const mcr = port + 4; + unsigned const lsr = port + 5; + unsigned const msr = port + 6; + unsigned const dllo = port + 0; + unsigned const dlhi = port + 1; - outb(LCR, 0x80); /* select bank 1 */ -// for (volatile int i = 10000000; i--; ); - outb(DLLO, (115200/baud) >> 0); - outb(DLHI, (115200/baud) >> 8); - outb(LCR, 0x03); /* set 8,N,1 */ - outb(IER, 0x00); /* disable interrupts */ - outb(EIR, 0x07); /* enable FIFOs */ - outb(MCR, 0x0b); /* force data terminal ready */ - outb(IER, 0x01); /* enable RX interrupts */ - inb(IER); - inb(EIR); - inb(LCR); - inb(MCR); - inb(LSR); - inb(MSR); + outb(lcr, 0x80); /* select bank 1 */ + outb(dllo, (115200/baud) >> 0); + outb(dlhi, (115200/baud) >> 8); + outb(lcr, 0x03); /* set 8,n,1 */ + outb(ier, 0x00); /* disable interrupts */ + outb(eir, 0x07); /* enable FIFOs */ + outb(mcr, 0x0b); /* force data terminal ready */ + outb(ier, 0x01); /* enable rx interrupts */ + inb(ier); + inb(eir); + inb(lcr); + inb(mcr); + inb(lsr); + inb(msr); } diff --git a/repos/base-hw/src/core/include/spec/x86/timer.h b/repos/base-hw/src/core/include/spec/x86/timer.h index e8335a3bc..5d720effe 100644 --- a/repos/base-hw/src/core/include/spec/x86/timer.h +++ b/repos/base-hw/src/core/include/spec/x86/timer.h @@ -15,9 +15,12 @@ #ifndef _TIMER_H_ #define _TIMER_H_ +/* Genode includes */ #include #include #include + +/* core includes */ #include #include @@ -58,7 +61,7 @@ class Genode::Timer : public Mmio uint32_t _tics_per_ms = 0; /* Measure LAPIC timer frequency using PIT channel 2 */ - uint32_t pit_calc_timer_freq(void) + uint32_t _pit_calc_timer_freq(void) { uint32_t t_start, t_end; @@ -95,7 +98,7 @@ class Genode::Timer : public Mmio write(0); /* Calculate timer frequency */ - _tics_per_ms = pit_calc_timer_freq(); + _tics_per_ms = _pit_calc_timer_freq(); PINF("LAPIC: timer frequency %u kHz", _tics_per_ms); } diff --git a/repos/base-hw/src/core/include/spec/x86_64/gdt.h b/repos/base-hw/src/core/include/spec/x86_64/gdt.h index 40127d047..06f175dee 100644 --- a/repos/base-hw/src/core/include/spec/x86_64/gdt.h +++ b/repos/base-hw/src/core/include/spec/x86_64/gdt.h @@ -14,6 +14,7 @@ #ifndef _GDT_H_ #define _GDT_H_ +/* core includes */ #include #include @@ -40,9 +41,10 @@ class Genode::Gdt */ static void load(addr_t const virt_base) { - asm volatile ("lgdt %0" : : "m" (Pseudo_descriptor - (_mt_gdt_end - _mt_gdt_start - 1, - _virt_mtc_addr(virt_base, (addr_t)&_mt_gdt_start)))); + addr_t const start = (addr_t)&_mt_gdt_start; + uint16_t const limit = _mt_gdt_end - _mt_gdt_start - 1; + uint64_t const base = _virt_mtc_addr(virt_base, start); + asm volatile ("lgdt %0" :: "m" (Pseudo_descriptor(limit, base))); } }; diff --git a/repos/base-hw/src/core/include/spec/x86_64/translation_table.h b/repos/base-hw/src/core/include/spec/x86_64/translation_table.h index e07891281..8021f9582 100644 --- a/repos/base-hw/src/core/include/spec/x86_64/translation_table.h +++ b/repos/base-hw/src/core/include/spec/x86_64/translation_table.h @@ -44,7 +44,7 @@ namespace Genode }; class Level_4_translation_table; - class PML4_table; + class Pml4_table; /** * IA-32e page directory template. @@ -66,7 +66,7 @@ namespace Genode Page_directory; - using Translation_table = PML4_table; + using Translation_table = Pml4_table; /** * IA-32e common descriptor. @@ -152,34 +152,33 @@ class Genode::Level_4_translation_table typename Descriptor::access_t _entries[MAX_ENTRIES]; - inline bool _aligned(addr_t const a, size_t const alignm_log2) { - return a == ((a >> alignm_log2) << alignm_log2); } - struct Insert_func { - Page_flags const & flags; - Page_slab * slab; + Page_flags const & flags; + Page_slab * slab; - Insert_func(Page_flags const & flags, - Page_slab * slab) : flags(flags), slab(slab) { } + Insert_func(Page_flags const & flags, + Page_slab * slab) : flags(flags), slab(slab) { } - void operator () (addr_t const vo, - addr_t const pa, - size_t const size, - Descriptor::access_t &desc) + void operator () (addr_t const vo, addr_t const pa, + size_t const size, + Descriptor::access_t &desc) + { + if ((vo & ~PAGE_MASK) || (pa & ~PAGE_MASK) || + size < PAGE_SIZE) { - if ((vo & ~PAGE_MASK) || (pa & ~PAGE_MASK) || - size < PAGE_SIZE) - throw Invalid_range(); - - Descriptor::access_t table_entry = - Descriptor::create(flags, pa); - if (Descriptor::present(desc) && - Descriptor::clear_mmu_flags(desc) != table_entry) - throw Double_insertion(); - - desc = table_entry; + throw Invalid_range(); } + Descriptor::access_t table_entry = + Descriptor::create(flags, pa); + + if (Descriptor::present(desc) && + Descriptor::clear_mmu_flags(desc) != table_entry) + { + throw Double_insertion(); + } + desc = table_entry; + } }; struct Remove_func @@ -188,11 +187,10 @@ class Genode::Level_4_translation_table Remove_func(Page_slab * slab) : slab(slab) { } - void operator () (addr_t const vo, - addr_t const pa, - size_t const size, - Descriptor::access_t &desc) { - desc = 0; } + void operator () (addr_t const vo, addr_t const pa, + size_t const size, + Descriptor::access_t &desc) + { desc = 0; } }; template @@ -223,21 +221,16 @@ class Genode::Level_4_translation_table * IA-32e page table (Level 4) * * A page table consists of 512 entries that each maps a 4KB page - * frame. - * For further details refer to Intel SDM Vol. 3A, table 4-19. + * frame. For further details refer to Intel SDM Vol. 3A, table 4-19. */ Level_4_translation_table() { - if (!_aligned((addr_t)this, ALIGNM_LOG2)) - throw Misaligned(); - + if (!aligned(this, ALIGNM_LOG2)) throw Misaligned(); memset(&_entries, 0, sizeof(_entries)); } /** * Returns True if table does not contain any page mappings. - * - * \return false if an entry is present, True otherwise */ bool empty() { @@ -258,11 +251,8 @@ class Genode::Level_4_translation_table * \param flags mapping flags * \param slab second level page slab allocator */ - void insert_translation(addr_t vo, - addr_t pa, - size_t size, - Page_flags const & flags, - Page_slab * slab) + void insert_translation(addr_t vo, addr_t pa, size_t size, + Page_flags const & flags, Page_slab * slab) { this->_range_op(vo, pa, size, Insert_func(flags, slab)); } @@ -359,16 +349,12 @@ class Genode::Page_directory addr_t const pa) { /* XXX: Set memory type depending on active PAT */ - return Base::create(flags) - | Pa::masked(pa); + return Base::create(flags) | Pa::masked(pa); } }; typename Base_descriptor::access_t _entries[MAX_ENTRIES]; - inline bool _aligned(addr_t const a, size_t const alignm_log2) { - return a == ((a >> alignm_log2) << alignm_log2); } - struct Insert_func { Page_flags const & flags; @@ -377,20 +363,22 @@ class Genode::Page_directory Insert_func(Page_flags const & flags, Page_slab * slab) : flags(flags), slab(slab) { } - void operator () (addr_t const vo, - addr_t const pa, + void operator () (addr_t const vo, addr_t const pa, size_t const size, typename Base_descriptor::access_t &desc) { /* can we insert a large page mapping? */ if (!((vo & ~PAGE_MASK) || (pa & ~PAGE_MASK) || - size < PAGE_SIZE)) { + size < PAGE_SIZE)) + { typename Base_descriptor::access_t table_entry = Page_descriptor::create(flags, pa); if (Base_descriptor::present(desc) && - Base_descriptor::clear_mmu_flags(desc) != table_entry) + Base_descriptor::clear_mmu_flags(desc) != table_entry) + { throw Double_insertion(); + } desc = table_entry; return; @@ -405,10 +393,10 @@ class Genode::Page_directory /* create and link next level table */ table = new (slab) ENTRY(); ENTRY * phys_addr = (ENTRY*) slab->phys_addr(table); + addr_t const pa = (addr_t)(phys_addr ? phys_addr : table); desc = (typename Base_descriptor::access_t) - Table_descriptor::create(flags, - (addr_t)(phys_addr ? phys_addr - : table)); + Table_descriptor::create(flags, pa); + } else if (Base_descriptor::maps_page(desc)) { throw Double_insertion(); } else { @@ -431,8 +419,7 @@ class Genode::Page_directory Remove_func(Page_slab * slab) : slab(slab) { } - void operator () (addr_t const vo, - addr_t const pa, + void operator () (addr_t const vo, addr_t const pa, size_t const size, typename Base_descriptor::access_t &desc) { @@ -445,8 +432,8 @@ class Genode::Page_directory Table_descriptor::Pa::masked(desc); ENTRY* table = (ENTRY*) slab->virt_addr(phys_addr); table = table ? table : (ENTRY*)phys_addr; - table->remove_translation(vo - (vo & PAGE_MASK), - size, slab); + addr_t const table_vo = vo - (vo & PAGE_MASK); + table->remove_translation(table_vo, size, slab); if (table->empty()) { destroy(slab, table); desc = 0; @@ -460,7 +447,8 @@ class Genode::Page_directory void _range_op(addr_t vo, addr_t pa, size_t size, FUNC &&func) { for (size_t i = vo >> PAGE_SIZE_LOG2; size > 0; - i = vo >> PAGE_SIZE_LOG2) { + i = vo >> PAGE_SIZE_LOG2) + { addr_t end = (vo + PAGE_SIZE) & PAGE_MASK; size_t sz = min(size, end-vo); @@ -482,9 +470,7 @@ class Genode::Page_directory Page_directory() { - if (!_aligned((addr_t)this, ALIGNM_LOG2)) - throw Misaligned(); - + if (!aligned(this, ALIGNM_LOG2)) throw Misaligned(); memset(&_entries, 0, sizeof(_entries)); } @@ -512,11 +498,8 @@ class Genode::Page_directory * \param flags mapping flags * \param slab second level page slab allocator */ - void insert_translation(addr_t vo, - addr_t pa, - size_t size, - Page_flags const & flags, - Page_slab * slab) + void insert_translation(addr_t vo, addr_t pa, size_t size, + Page_flags const & flags, Page_slab * slab) { _range_op(vo, pa, size, Insert_func(flags, slab)); } @@ -535,7 +518,7 @@ class Genode::Page_directory } __attribute__((aligned(1 << ALIGNM_LOG2))); -class Genode::PML4_table +class Genode::Pml4_table { private: @@ -556,16 +539,12 @@ class Genode::PML4_table static access_t create(Page_flags const &flags, addr_t const pa) { /* XXX: Set memory type depending on active PAT */ - return Common_descriptor::create(flags) - | Pa::masked(pa); + return Common_descriptor::create(flags) | Pa::masked(pa); } }; typename Descriptor::access_t _entries[MAX_ENTRIES]; - inline bool _aligned(addr_t const a, size_t const alignm_log2) { - return a == ((a >> alignm_log2) << alignm_log2); } - using ENTRY = Level_2_translation_table; struct Insert_func @@ -576,8 +555,7 @@ class Genode::PML4_table Insert_func(Page_flags const & flags, Page_slab * slab) : flags(flags), slab(slab) { } - void operator () (addr_t const vo, - addr_t const pa, + void operator () (addr_t const vo, addr_t const pa, size_t const size, Descriptor::access_t &desc) { @@ -590,9 +568,8 @@ class Genode::PML4_table /* create and link next level table */ table = new (slab) ENTRY(); ENTRY * phys_addr = (ENTRY*) slab->phys_addr(table); - desc = Descriptor::create(flags, - (addr_t)(phys_addr ? phys_addr - : table)); + addr_t const pa = (addr_t)(phys_addr ? phys_addr : table); + desc = Descriptor::create(flags, pa); } else { Descriptor::merge_access_rights(desc, flags); ENTRY * phys_addr = (ENTRY*) @@ -602,8 +579,8 @@ class Genode::PML4_table } /* insert translation */ - table->insert_translation(vo - (vo & PAGE_MASK), - pa, size, flags, slab); + addr_t const table_vo = vo - (vo & PAGE_MASK); + table->insert_translation(table_vo, pa, size, flags, slab); } }; @@ -613,8 +590,7 @@ class Genode::PML4_table Remove_func(Page_slab * slab) : slab(slab) { } - void operator () (addr_t const vo, - addr_t const pa, + void operator () (addr_t const vo, addr_t const pa, size_t const size, Descriptor::access_t &desc) { @@ -624,8 +600,8 @@ class Genode::PML4_table Descriptor::Pa::masked(desc); ENTRY* table = (ENTRY*) slab->virt_addr(phys_addr); table = table ? table : (ENTRY*)phys_addr; - table->remove_translation(vo - (vo & PAGE_MASK), size, - slab); + addr_t const table_vo = vo - (vo & PAGE_MASK); + table->remove_translation(table_vo, size, slab); if (table->empty()) { destroy(slab, table); desc = 0; @@ -658,11 +634,9 @@ class Genode::PML4_table static constexpr size_t MIN_PAGE_SIZE_LOG2 = SIZE_LOG2_4KB; static constexpr size_t ALIGNM_LOG2 = SIZE_LOG2_4KB; - PML4_table() + Pml4_table() { - if (!_aligned((addr_t)this, ALIGNM_LOG2)) - throw Misaligned(); - + if (!aligned(this, ALIGNM_LOG2)) throw Misaligned(); memset(&_entries, 0, sizeof(_entries)); } @@ -690,11 +664,8 @@ class Genode::PML4_table * \param flags mapping flags * \param slab second level page slab allocator */ - void insert_translation(addr_t vo, - addr_t pa, - size_t size, - Page_flags const & flags, - Page_slab * slab) + void insert_translation(addr_t vo, addr_t pa, size_t size, + Page_flags const & flags, Page_slab * slab) { _range_op(vo, pa, size, Insert_func(flags, slab)); } diff --git a/repos/base-hw/src/core/spec/x86/kernel/thread.cc b/repos/base-hw/src/core/spec/x86/kernel/thread.cc index 8182e8f30..a19844654 100644 --- a/repos/base-hw/src/core/spec/x86/kernel/thread.cc +++ b/repos/base-hw/src/core/spec/x86/kernel/thread.cc @@ -21,30 +21,29 @@ Thread::Thread(unsigned const priority, unsigned const quota, char const * const label) : Thread_base(this), Cpu_job(priority, quota), _state(AWAITS_START), _pd(0), - _utcb_phys(0), _signal_receiver(0), _label(label) {} + _utcb_phys(0), _signal_receiver(0), _label(label) { } void Thread::exception(unsigned const cpu) { - if (trapno == PAGE_FAULT) { + switch (trapno) { + case PAGE_FAULT: _mmu_exception(); return; - } else if (trapno == NO_MATH_COPROC) { + case NO_MATH_COPROC: if (_cpu->retry_fpu_instr(&_lazy_state)) { return; } - PWRN("fpu error"); + PWRN("%s -> %s: FPU error", pd_label(), label()); _stop(); return; - } - if (trapno == SUPERVISOR_CALL) { + case SUPERVISOR_CALL: _call(); return; - } else if (trapno >= INTERRUPTS_START && trapno <= INTERRUPTS_END) { + } + if (trapno >= INTERRUPTS_START && trapno <= INTERRUPTS_END) { _interrupt(cpu); return; - } else { - PWRN("%s -> %s: triggered an unknown exception %lu with error code %lu", - pd_label(), label(), trapno, errcode); - _stop(); - return; } + PWRN("%s -> %s: triggered unknown exception %lu with error code %lu", + pd_label(), label(), trapno, errcode); + _stop(); } diff --git a/repos/base-hw/src/core/spec/x86_64/idt.cc b/repos/base-hw/src/core/spec/x86_64/idt.cc index 97b3a0699..beb22f463 100644 --- a/repos/base-hw/src/core/spec/x86_64/idt.cc +++ b/repos/base-hw/src/core/spec/x86_64/idt.cc @@ -12,10 +12,10 @@ * under the terms of the GNU General Public License version 2. */ +/* core includes */ #include #include - -#include "idt.h" +#include extern int _mt_idt; extern int _mt_isrs; @@ -46,6 +46,7 @@ void Idt::setup(addr_t const virt_base) void Idt::load(addr_t const virt_base) { - asm volatile ("lidt %0" : : "m" (Pseudo_descriptor (sizeof(_table) - 1, - _virt_mtc_addr(virt_base, (addr_t)&_mt_idt)))); + uint16_t const limit = sizeof(_table) - 1; + uint64_t const base = _virt_mtc_addr(virt_base, (addr_t)&_mt_idt); + asm volatile ("lidt %0" : : "m" (Pseudo_descriptor(limit, base))); } diff --git a/repos/base-hw/src/core/spec/x86_64/mode_transition.s b/repos/base-hw/src/core/spec/x86_64/mode_transition.s index 8072eb795..d8c651490 100644 --- a/repos/base-hw/src/core/spec/x86_64/mode_transition.s +++ b/repos/base-hw/src/core/spec/x86_64/mode_transition.s @@ -81,30 +81,30 @@ */ .global _mt_isrs _mt_isrs: - _exception 0 - _exception 1 - _exception 2 - _exception 3 - _exception 4 - _exception 5 - _exception 6 - _exception 7 - _exception_with_code 8 - _exception 9 - _exception_with_code 10 - _exception_with_code 11 - _exception_with_code 12 - _exception_with_code 13 - _exception_with_code 14 - _exception 15 - _exception 16 - _exception_with_code 17 - _exception 18 - _exception 19 + _exception 0 + _exception 1 + _exception 2 + _exception 3 + _exception 4 + _exception 5 + _exception 6 + _exception 7 + _exception_with_code 8 + _exception 9 + _exception_with_code 10 + _exception_with_code 11 + _exception_with_code 12 + _exception_with_code 13 + _exception_with_code 14 + _exception 15 + _exception 16 + _exception_with_code 17 + _exception 18 + _exception 19 .set vec, 20 .rept 236 - _exception vec + _exception vec .set vec, vec + 1 .endr diff --git a/repos/base-hw/src/core/spec/x86_64/tss.cc b/repos/base-hw/src/core/spec/x86_64/tss.cc index e28097244..8bbf988d0 100644 --- a/repos/base-hw/src/core/spec/x86_64/tss.cc +++ b/repos/base-hw/src/core/spec/x86_64/tss.cc @@ -12,9 +12,9 @@ * under the terms of the GNU General Public License version 2. */ +/* core includes */ #include - -#include "tss.h" +#include using namespace Genode; @@ -22,8 +22,8 @@ extern int _mt_kernel_interrupt_stack; void Tss::setup(addr_t const virt_base) { - addr_t const stack_addr = _virt_mtc_addr(virt_base, - (addr_t)&_mt_kernel_interrupt_stack); + addr_t const stack_addr = + _virt_mtc_addr(virt_base, (addr_t)&_mt_kernel_interrupt_stack); this->rsp0 = stack_addr; this->rsp1 = stack_addr;