![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
Go to the source code of this file.
Functions | |
static int | is_car_addr (uintptr_t addr) |
void | platform_segment_loaded (uintptr_t start, size_t size, int flags) |
|
inlinestatic |
Definition at line 13 of file car.c.
References addr.
Referenced by platform_segment_loaded().
Definition at line 19 of file car.c.
References assert, flush_l1d_to_l2(), is_car_addr(), and SEG_FINAL.