coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
car.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef AMD_BLOCK_CAR_H
4 #define AMD_BLOCK_CAR_H
5 
6 #include <stdint.h>
7 
8 void ap_teardown_car(uint32_t flags);
9 
10 #endif /* AMD_BLOCK_CAR_H */
ap_teardown_car
void ap_teardown_car(uint32_t flags)
uint32_t
unsigned int uint32_t
Definition: stdint.h:14