Searched refs:console_cbmc_register (Results 1 – 3 of 3) sorted by relevance
17 .globl console_cbmc_register symbol37 func console_cbmc_register43 endfunc console_cbmc_register
21 int console_cbmc_register(uintptr_t base, console_cbmc_t *console);
88 console_cbmc_register(baseaddr, &console); in setup_cbmem_console()