1# device 2uefi_reg_read(uint64_t addr, unsigned size) "addr 0x%" PRIx64 ", size %u" 3uefi_reg_write(uint64_t addr, uint64_t val, unsigned size) "addr 0x%" PRIx64 ", val 0x%" PRIx64 ", size %d" 4uefi_hard_reset(void) "" 5 6# generic uefi 7uefi_variable(const char *context, const char *name, uint64_t size, const char *uuid) "context %s, name %s, size %" PRIu64 ", uuid %s" 8uefi_status(const char *context, const char *name) "context %s, status %s" 9uefi_event(const char *name) "event %s" 10 11# variable protocol 12uefi_vars_proto_cmd(const char *cmd) "cmd %s" 13uefi_vars_security_violation(const char *reason) "reason %s" 14 15# variable policy protocol 16uefi_vars_policy_cmd(const char *cmd) "cmd %s" 17uefi_vars_policy_deny(const char *reason) "reason %s" 18