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

/seL4-test-master/tools/riscv-pk/pk/
H A Dpk.h33 void printm(const char* s, ...);
/seL4-test-master/tools/riscv-pk/machine/
H A Dmtrap.h62 void printm(const char* s, ...);
66 #define die(str, ...) ({ printm("%s:%d: " str "\n", __FILE__, __LINE__, ##__VA_ARGS__); poweroff(-1); })
H A Dfdt.c448 printm("PLIC wired hart %d to wrong interrupt %d", hart, cpu_int);
454 printm("PLIC: prio %x devs %d\r\n", (uint32_t)(uintptr_t)plic_priorities, plic_ndevs);
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);
657 printm("hart_filter_mask saw unknown hart type: status=\"%s\", mmu_type=\"%s\"\n",
709 printm(" ");
739 printm(";\r\n");
742 printm(" = ");
757 printm(", ");
758 printm("\"%s\"", char_data + i);
761 printm("<");
[all...]
H A Dmtrap.c52 void printm(const char* s, ...) function
251 printm("Power off\r\n");
H A Dminit.c167 printm("bbl loader\r\n");

Completed in 85 milliseconds