source: trunk/hal/x86_64/hal_special.c @ 38

Last change on this file since 38 was 25, checked in by max@…, 7 years ago

First shot of the x86_64 port. It uses Multiboot V1. Most of the HAL functions
are empty, and several TSAR-specific files and comments remain; they will be
cleaned up later. The Makefile and LD script will come in another commit.

File size: 1.9 KB
Line 
1/*
2 * hal_special.c - implementation of Generic Special Register Access API for TSAR-MIPS32
3 *
4 * Author  Ghassan Almaless (2008,2009,2010,2011,2012)
5 *         Alain Greiner    (2016)
6 *
7 * Copyright (c) UPMC Sorbonne Universites
8 *
9 * This file is part of ALMOS-MKH..
10 *
11 * ALMOS-MKH. is free software; you can redistribute it and/or modify it
12 * under the terms of the GNU General Public License as published by
13 * the Free Software Foundation; version 2.0 of the License.
14 *
15 * ALMOS-MKH. is distributed in the hope that it will be useful, but
16 * WITHOUT ANY WARRANTY; without even the implied warranty of
17 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
18 * General Public License for more details.
19 *
20 * You should have received a copy of the GNU General Public License
21 * along with ALMOS-MKH.; if not, write to the Free Software Foundation,
22 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
23 */
24
25
26#include <hal_types.h>
27#include <hal_special.h>
28
29/****  Forward declarations ****/
30
31struct thread_s;
32
33gid_t hal_get_gid()
34{
35        return 0;
36}
37
38uint32_t hal_time_stamp()
39{
40        return 0;
41}
42
43struct thread_s * hal_get_current_thread()
44{
45        return NULL;
46}
47
48void hal_set_current_thread( struct thread_s * thread )
49{ 
50
51}
52
53void hal_fpu_enable()
54{
55
56}
57
58void hal_fpu_disable()
59{
60
61}
62
63uint32_t hal_get_stack()
64{
65        return 0;
66}
67
68uint32_t hal_set_stack( void * new_val )
69{
70        return 0;
71}
72
73uint32_t hal_get_bad_vaddr()
74{
75        return 0;
76}
77
78uint32_t hal_uncached_read( uint32_t * ptr )
79{
80        return 0;
81}
82
83void hal_invalid_dcache_line( void * ptr )
84{
85
86}
87
88void hal_wbflush()
89{
90
91}
92
93void hal_rdbar()
94{
95
96}
97
98void hal_core_sleep()
99{
100
101}
102
103void hal_fixed_delay( uint32_t delay )
104{ 
105
106}
107
108void hal_get_mmu_excp( intptr_t * mmu_ins_excp_code,
109                       intptr_t * mmu_ins_bad_vaddr,
110                       intptr_t * mmu_dat_excp_code,
111                       intptr_t * mmu_dat_bad_vaddr )
112{
113
114}
Note: See TracBrowser for help on using the repository browser.