Lines Matching refs:uintn
59 typedef uint64_t uintn;
61 typedef uint32_t uintn;
64 typedef uintn efi_tpl;
80 uintn, paddr_t *);
81 efi_status (*bs_freepages)(paddr_t, uintn);
82 efi_status (*bs_getmemorymap)(uintn *, struct efi_md *,
83 uintn *, uintn *, uint32_t *);
84 efi_status (*bs_allocatepool)(uint32_t, uintn, void **);
89 efi_status (*bs_waitforevent)(uintn, efi_event *, uintn *);
106 uintn *, efi_handle *);
111 void *, uintn, efi_handle *);
112 efi_status (*bs_startimage)(efi_handle, uintn *, efi_char **);
113 efi_status (*bs_exit)(efi_handle, efi_status, uintn, efi_char *);
115 efi_status (*bs_exitbootservices)(efi_handle, uintn);
117 efi_status (*bs_stall)(uintn);
118 efi_status (*bs_setwatchdogtimer)(uintn, uint64_t,
119 uintn, efi_char *);
131 struct uuid ***, uintn *);
133 void *, uintn *, efi_handle **);
139 efi_status (*bs_calculatecrc32)(void *, uintn, uint32_t *);
140 efi_status (*bs_copymem)(void *, void *, uintn);
141 efi_status (*bs_setmem)(void *, uintn, uint8_t);
179 uintn, uintn *, uintn *);
180 efi_status (*ei_textsetmode)(struct efi_output *, uintn);
181 efi_status (*ei_setattribute)(struct efi_output *, uintn);
184 uintn, uintn);