1234567891011121314151617 |
- # 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"
|