Searched defs:coreboot_start_fn_t (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/kernel/include/ | ||
H A D | coreboot.h | 17 typedef uintptr_t (*coreboot_start_fn_t)(hwid_t target, genpaddr_t entry, genpaddr_t context); typedef |
Completed in 157 milliseconds