blob: 242716c50416064070991b84108d0c23acf35aca (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
======================================== */
#ifndef BOOTKIT_PLATFORM_H
#define BOOTKIT_PLATFORM_H
/**
@file Platform.h
@brief Platform specific code.
*/
#ifdef __x86_64__
#ifdef __cplusplus
#ifndef EXTERN_C
#define EXTERN_C extern "C"
#endif
#else
#ifndef EXTERN_C
#define EXTERN_C extern
#endif
#endif // __cplusplus
EXTERN_C void rt_halt();
EXTERN_C void rt_cli();
EXTERN_C void rt_sti();
EXTERN_C void rt_cld();
EXTERN_C void rt_std();
#endif /* ifdef __x86_64__ */
#endif
|
