Searched refs:uintn (Results 1 – 2 of 2) sorted by relevance
| /netbsd/src/sys/arch/x86/include/ |
| D | efi.h | 59 typedef uint64_t uintn; typedef
61 typedef uint32_t uintn; typedef
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 *);
[all …]
|
| /netbsd/src/sys/arch/x86/x86/ |
| D | multiboot2.c | 126 uintn bufsize, key, size; in efi_exit_bs()
|