Searched refs:SPIKE_CLINT (Results 1 – 2 of 2) sorted by relevance
47 [SPIKE_CLINT] = { 0x2000000, 0x10000 },158 clint_addr = memmap[SPIKE_CLINT].base + in create_fdt()159 (memmap[SPIKE_CLINT].size * socket); in create_fdt()165 0x0, clint_addr, 0x0, memmap[SPIKE_CLINT].size); in create_fdt()249 memmap[SPIKE_CLINT].base + i * memmap[SPIKE_CLINT].size, in spike_board_init()252 memmap[SPIKE_CLINT].base + i * memmap[SPIKE_CLINT].size + in spike_board_init()
45 SPIKE_CLINT, enumerator