coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
car.c File Reference
#include <assert.h>
#include <intelblocks/msr.h>
#include <program_loading.h>
#include <soc/cpu.h>
Include dependency graph for car.c:

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)
 

Function Documentation

◆ is_car_addr()

static int is_car_addr ( uintptr_t  addr)
inlinestatic

Definition at line 13 of file car.c.

References addr.

Referenced by platform_segment_loaded().

Here is the caller graph for this function:

◆ platform_segment_loaded()

void platform_segment_loaded ( uintptr_t  start,
size_t  size,
int  flags 
)

Definition at line 19 of file car.c.

References assert, flush_l1d_to_l2(), is_car_addr(), and SEG_FINAL.

Here is the call graph for this function: