| # device |
| uefi_reg_read(uint64_t addr, unsigned size) "addr 0x%" PRIx64 ", size %u" |
| uefi_reg_write(uint64_t addr, uint64_t val, unsigned size) "addr 0x%" PRIx64 ", val 0x%" PRIx64 ", size %d" |
| uefi_hard_reset(void) "" |
| |
| # generic uefi |
| uefi_variable(const char *context, const char *name, uint64_t size, const char *uuid) "context %s, name %s, size %" PRIu64 ", uuid %s" |
| uefi_status(const char *context, const char *name) "context %s, status %s" |
| uefi_event(const char *name) "event %s" |
| |
| # variable protocol |
| uefi_vars_proto_cmd(const char *cmd) "cmd %s" |
| uefi_vars_security_violation(const char *reason) "reason %s" |
| |
| # variable policy protocol |
| uefi_vars_policy_cmd(const char *cmd) "cmd %s" |
| uefi_vars_policy_deny(const char *reason) "reason %s" |
