Searched defs:coreboot_start_fn_t (Results 1 - 1 of 1) sorted by last modified time
/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 36 milliseconds