![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <mcall.h>
Data Fields | |
sbi_device_message * | device_request_queue_head |
unsigned long | device_request_queue_size |
sbi_device_message * | device_response_queue_head |
sbi_device_message * | device_response_queue_tail |
int | hart_id |
int | ipi_pending |
uint64_t * | timecmp |
uint64_t * | time |
void * | fdt |
struct blocker | entry |
sbi_device_message* hls_t::device_request_queue_head |
sbi_device_message* hls_t::device_response_queue_head |
sbi_device_message* hls_t::device_response_queue_tail |