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

/seL4-l4v-10.1.1/seL4/src/plat/spike/machine/
H A Dhardware.c31 #define MAX_AVAIL_P_REGS 2 macro
39 static p_region_t BOOT_DATA avail_p_regs[MAX_AVAIL_P_REGS];
53 if (num_avail_p_regs == MAX_AVAIL_P_REGS) {

Completed in 33 milliseconds