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