blob: 5c6e5df8173f93ac434d9b456976bbef8efe7615 (
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
36
37
38
39
40
41
42
43
|
/*
* Initial kernel for filling initial BSD command buffer
* Copyright © <2010>, Intel Corporation.
*
* This program is licensed under the terms and conditions of the
* Eclipse Public License (EPL), version 1.0. The full text of the EPL is at
* http://www.opensource.org/licenses/eclipse-1.0.php.
*
*/
// Kernel name: BSDReset.asm
//
// Initial kernel for filling initial BSD command buffer
//
// ----------------------------------------------------
// Main: BSDReset
// ----------------------------------------------------
.kernel BSDReset
BSDRESET:
#include "header.inc"
.code
#ifdef SW_SCOREBOARD
CALL(scoreboard_start_inter,1)
wait n0:ud // Now wait for scoreboard to response
#define BSDRESET_ENABLE
#include "scoreboard_update.asm" // scorboard update function
#undef BSDRESET_ENABLE
#endif // defined(SW_SCOREBOARD)
// Terminate the thread
//
END_THREAD
#if !defined(COMBINED_KERNEL) // For standalone kernel only
.end_code
.end_kernel
#endif // !defined(COMBINED_KERNEL)
|
