4635c565e4
Updated stage2_priv.h to reflect geist's, and freston's changes. git-svn-id: file:///srv/svn/repos/haiku/trunk/current@306 a95241bf-73f2-0310-859d-f6bbb57e9c96
52 lines
1.3 KiB
C
52 lines
1.3 KiB
C
/*
|
|
** Copyright 2001-2002, Travis Geiselbrecht. All rights reserved.
|
|
** Distributed under the terms of the NewOS License.
|
|
*/
|
|
|
|
#ifndef _KERNEL_ARCH_CPU_H
|
|
#define _KERNEL_ARCH_CPU_H
|
|
|
|
#include <kernel.h>
|
|
#include <ktypes.h>
|
|
#include <stage2.h>
|
|
|
|
#define PAGE_ALIGN(x) (((x) + (PAGE_SIZE-1)) & ~(PAGE_SIZE-1))
|
|
|
|
#ifdef __cplusplus
|
|
extern "C" {
|
|
#endif
|
|
|
|
/*
|
|
int atomic_add(volatile int *val, int incr);
|
|
int atomic_and(volatile int *val, int incr);
|
|
int atomic_or(volatile int *val, int incr);
|
|
int atomic_set(volatile int *val, int set_to);
|
|
int test_and_set(int *val, int set_to, int test_val);
|
|
*/
|
|
|
|
bigtime_t system_time(void);
|
|
int arch_cpu_preboot_init(kernel_args *ka);
|
|
int arch_cpu_init(kernel_args *ka);
|
|
int arch_cpu_init2(kernel_args *ka);
|
|
void reboot(void);
|
|
|
|
#ifdef __cplusplus
|
|
}
|
|
#endif
|
|
|
|
void arch_cpu_invalidate_TLB_range(addr start, addr end);
|
|
void arch_cpu_invalidate_TLB_list(addr pages[], int num_pages);
|
|
void arch_cpu_global_TLB_invalidate(void);
|
|
|
|
int arch_cpu_user_memcpy(void *to, const void *from, size_t size, addr *fault_handler);
|
|
int arch_cpu_user_strcpy(char *to, const char *from, addr *fault_handler);
|
|
int arch_cpu_user_strncpy(char *to, const char *from, size_t size, addr *fault_handler);
|
|
int arch_cpu_user_memset(void *s, char c, size_t count, addr *fault_handler);
|
|
|
|
void arch_cpu_idle(void);
|
|
|
|
#include <arch_cpu.h>
|
|
|
|
#endif /* _KERNEL_ARCH_CPU_H */
|
|
|