Searched refs:MAX_HARTS (Results 1 - 5 of 5) sorted by relevance

/seL4-test-master/tools/riscv-pk/machine/
H A Dmtrap.h9 # define MAX_HARTS 8 // arbitrary macro
11 # define MAX_HARTS 1 macro
H A Dfdt.c209 static uint32_t hart_phandles[MAX_HARTS];
264 if (scan->hart < MAX_HARTS) {
348 for (hart = 0; hart < MAX_HARTS; ++hart)
351 if (hart < MAX_HARTS) {
436 for (hart = 0; hart < MAX_HARTS; ++hart)
439 if (hart < MAX_HARTS) {
455 for (int i = 0; i < MAX_HARTS; ++i) {
H A Dminit.c155 for (int hart = 0; hart < MAX_HARTS; ++hart)
H A Dmtrap.c104 _Static_assert(MAX_HARTS <= 8 * sizeof(*pmask), "# harts > uintptr_t bits");
H A Dmentry.S278 #if MAX_HARTS > 1
296 li a2, MAX_HARTS
305 .skip RISCV_PGSIZE * MAX_HARTS

Completed in 86 milliseconds