![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <svc.h>
Data Fields | |
enum psp_timer_type | timer_type |
uint64_t * | ptr_counter_value |
enum psp_timer_type cmd_param_read_timer_val::timer_type |
Definition at line 98 of file svc.h.
Referenced by svc_read_timer_val().