| /src/sys/arch/x86/include/ |
| efi.h | 59 typedef uint64_t uintn; typedef in typeref:typename:uint64_t
61 typedef uint32_t uintn; typedef in typeref:typename:uint32_t
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 *)
[all...] |
| efi.h | 59 typedef uint64_t uintn; typedef in typeref:typename:uint64_t
61 typedef uint32_t uintn; typedef in typeref:typename:uint32_t
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 *)
[all...] |
