Searched refs:OTHER_HLS (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/tools/riscv-pk/machine/
H A Dminit.c89 hls_t* hls = OTHER_HLS(id);
157 *OTHER_HLS(hart)->ipi = 1; // wakeup the hart
H A Dmtrap.h57 #define OTHER_HLS(id) ((hls_t*)((void*)HLS() + RISCV_PGSIZE * ((id) - read_const_csr(mhartid)))) macro
H A Dmtrap.c64 atomic_or(&OTHER_HLS(recipient)->mipi_pending, event);
66 *OTHER_HLS(recipient)->ipi = 1;
122 while (*OTHER_HLS(i)->ipi)
H A Dfdt.c352 hls_t *hls = OTHER_HLS(hart);
440 hls_t *hls = OTHER_HLS(hart);
456 hls_t *hls = OTHER_HLS(i);

Completed in 30 milliseconds