Searched refs:plic_s_thresh (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/tools/riscv-pk/machine/
H A Dminit.c147 if (HLS()->plic_s_thresh) {
149 *HLS()->plic_s_thresh = 0;
H A Dmtrap.h47 volatile uint32_t* plic_s_thresh; member in struct:__anon669
H A Dfdt.c446 hls->plic_s_thresh = (uint32_t*) ((uintptr_t)scan->reg + HART_BASE + HART_SIZE * index);
457 printm("CPU %d: %x %x %x %x\r\n", i, (uint32_t)(uintptr_t)hls->plic_m_ie, (uint32_t)(uintptr_t)hls->plic_m_thresh, (uint32_t)(uintptr_t)hls->plic_s_ie, (uint32_t)(uintptr_t)hls->plic_s_thresh);

Completed in 31 milliseconds