Searched refs:console_cbmc_t (Results 1 – 2 of 2) sorted by relevance
19 } console_cbmc_t; typedef21 int console_cbmc_register(uintptr_t base, console_cbmc_t *console);
80 static console_cbmc_t console; in setup_cbmem_console()