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

/seL4-l4v-10.1.1/seL4/src/plat/spike/machine/
H A Dhardware.c38 static word_t BOOT_DATA num_avail_p_regs = 0; variable
43 return num_avail_p_regs;
53 if (num_avail_p_regs == MAX_AVAIL_P_REGS) {
56 avail_p_regs[num_avail_p_regs] = reg;
57 num_avail_p_regs++;

Completed in 31 milliseconds