File tree 5 files changed +21
-0
lines changed
5 files changed +21
-0
lines changed Original file line number Diff line number Diff line change @@ -113,6 +113,16 @@ mach_bits plat_clint_size(unit u)
113
113
return rv_clint_size ;
114
114
}
115
115
116
+ mach_bits plat_clic_base (unit u )
117
+ {
118
+ return rv_clic_base ;
119
+ }
120
+
121
+ mach_bits plat_clic_size (unit u )
122
+ {
123
+ return rv_clic_size ;
124
+ }
125
+
116
126
unit load_reservation (mach_bits addr )
117
127
{
118
128
reservation = addr ;
Original file line number Diff line number Diff line change @@ -29,6 +29,9 @@ mach_bits plat_get_16_random_bits();
29
29
mach_bits plat_clint_base (unit );
30
30
mach_bits plat_clint_size (unit );
31
31
32
+ mach_bits plat_clic_base (unit );
33
+ mach_bits plat_clic_size (unit );
34
+
32
35
bool speculate_conditional (unit );
33
36
unit load_reservation (mach_bits );
34
37
bool match_reservation (mach_bits );
Original file line number Diff line number Diff line change @@ -42,6 +42,9 @@ uint64_t rv_16_random_bits(void)
42
42
uint64_t rv_clint_base = UINT64_C (0x2000000 );
43
43
uint64_t rv_clint_size = UINT64_C (0xc0000 );
44
44
45
+ uint64_t rv_clic_base = UINT64_C (0x4000000 );
46
+ uint64_t rv_clic_size = UINT64_C (0xc0000 );
47
+
45
48
uint64_t rv_htif_tohost = UINT64_C (0x80001000 );
46
49
uint64_t rv_insns_per_tick = UINT64_C (100 );
47
50
Original file line number Diff line number Diff line change @@ -34,6 +34,9 @@ extern uint64_t rv_16_random_bits(void);
34
34
extern uint64_t rv_clint_base ;
35
35
extern uint64_t rv_clint_size ;
36
36
37
+ extern uint64_t rv_clic_base ;
38
+ extern uint64_t rv_clic_size ;
39
+
37
40
extern uint64_t rv_htif_tohost ;
38
41
extern uint64_t rv_insns_per_tick ;
39
42
Original file line number Diff line number Diff line change @@ -616,6 +616,8 @@ void init_sail(uint64_t elf_entry)
616
616
rv_rom_size = UINT64_C (0 );
617
617
rv_clint_base = UINT64_C (0 );
618
618
rv_clint_size = UINT64_C (0 );
619
+ rv_clic_base = UINT64_C (0 );
620
+ rv_clic_size = UINT64_C (0 );
619
621
rv_htif_tohost = UINT64_C (0 );
620
622
zPC = elf_entry ;
621
623
} else
You can’t perform that action at this time.
0 commit comments