1 | /* |
2 | * Copyright (c) 2009 Apple Inc. All rights reserved. |
3 | * |
4 | * @APPLE_OSREFERENCE_LICENSE_HEADER_START@ |
5 | * |
6 | * This file contains Original Code and/or Modifications of Original Code |
7 | * as defined in and that are subject to the Apple Public Source License |
8 | * Version 2.0 (the 'License'). You may not use this file except in |
9 | * compliance with the License. The rights granted to you under the License |
10 | * may not be used to create, or enable the creation or redistribution of, |
11 | * unlawful or unlicensed copies of an Apple operating system, or to |
12 | * circumvent, violate, or enable the circumvention or violation of, any |
13 | * terms of an Apple operating system software license agreement. |
14 | * |
15 | * Please obtain a copy of the License at |
16 | * http://www.opensource.apple.com/apsl/ and read it before using this file. |
17 | * |
18 | * The Original Code and all software distributed under the License are |
19 | * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER |
20 | * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES, |
21 | * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY, |
22 | * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT. |
23 | * Please see the License for the specific language governing rights and |
24 | * limitations under the License. |
25 | * |
26 | * @APPLE_OSREFERENCE_LICENSE_HEADER_END@ |
27 | */ |
28 | #ifndef _ARM_PAL_ROUTINES_H |
29 | #define _ARM_PAL_ROUTINES_H |
30 | |
31 | #include <stdint.h> |
32 | |
33 | #if defined(__cplusplus) |
34 | extern "C" { |
35 | #endif |
36 | |
37 | #ifdef XNU_KERNEL_PRIVATE |
38 | |
39 | /* No-op */ |
40 | #define pal_dbg_set_task_name( x ) do { } while(0) |
41 | |
42 | #define pal_ast_check(thread) |
43 | #define pal_thread_terminate_self(t) |
44 | |
45 | /* serial / debug output routines */ |
46 | extern int pal_serial_init(void); |
47 | extern void pal_serial_putc(char a); |
48 | extern void pal_serial_putc_nocr(char a); |
49 | extern int pal_serial_getc(void); |
50 | |
51 | #define panic_display_pal_info() do { } while(0) |
52 | #define pal_kernel_announce() do { } while(0) |
53 | |
54 | #endif /* XNU_KERNEL_PRIVATE */ |
55 | |
56 | /* Allows us to set a property on the IOResources object. Unused on ARM. */ |
57 | static inline void |
58 | pal_get_resource_property(const char **property_name, |
59 | int *property_value) |
60 | { |
61 | *property_name = 0; |
62 | (void) property_value; |
63 | } |
64 | |
65 | #if defined(__cplusplus) |
66 | } |
67 | #endif |
68 | |
69 | #endif /* _ARM_PAL_ROUTINES_H */ |
70 | |