Searched refs:printm (Results 1 - 5 of 5) sorted by relevance
/seL4-test-master/tools/riscv-pk/pk/ |
H A D | pk.h | 33 void printm(const char* s, ...);
|
/seL4-test-master/tools/riscv-pk/machine/ |
H A D | mtrap.h | 62 void printm(const char* s, ...); 66 #define die(str, ...) ({ printm("%s:%d: " str "\n", __FILE__, __LINE__, ##__VA_ARGS__); poweroff(-1); })
|
H A D | fdt.c | 448 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 D | mtrap.c | 52 void printm(const char* s, ...) function 251 printm("Power off\r\n");
|
H A D | minit.c | 167 printm("bbl loader\r\n");
|
Completed in 85 milliseconds