Searched refs:FreePages (Results 1 – 12 of 12) sorted by relevance
| /openbsd/src/sys/arch/armv7/stand/efiboot/ |
| D | efipxe.c | 203 BS->FreePages((paddr_t)tftpfile->inbuf, in mtftp_close()
335 BS->FreePages(txbuf, EFI_SIZE_TO_PAGES(RECV_SIZE)); in tftpopen()
352 BS->FreePages(txbuf, EFI_SIZE_TO_PAGES(RECV_SIZE)); in tftpclose()
|
| D | efiboot.c | 1022 BS->FreePages((uint64_t)fdt_override, in fdt_load_override()
1054 BS->FreePages(addr, EFI_SIZE_TO_PAGES(dt_size)); in fdt_load_override()
1065 BS->FreePages(addr, EFI_SIZE_TO_PAGES(dt_size)); in fdt_load_override()
1070 BS->FreePages((uint64_t)fdt_override, in fdt_load_override()
|
| D | efidev.c | 127 BS->FreePages(addr, EFI_SIZE_TO_PAGES(size)); in efid_io()
|
| /openbsd/src/sys/arch/riscv64/stand/efiboot/ |
| D | efipxe.c | 203 BS->FreePages((paddr_t)tftpfile->inbuf, in mtftp_close()
335 BS->FreePages(txbuf, EFI_SIZE_TO_PAGES(RECV_SIZE)); in tftpopen()
352 BS->FreePages(txbuf, EFI_SIZE_TO_PAGES(RECV_SIZE)); in tftpclose()
|
| D | efiboot.c | 999 BS->FreePages((uint64_t)fdt_override, in fdt_load_override()
1031 BS->FreePages(addr, EFI_SIZE_TO_PAGES(dt_size)); in fdt_load_override()
1042 BS->FreePages(addr, EFI_SIZE_TO_PAGES(dt_size)); in fdt_load_override()
1047 BS->FreePages((uint64_t)fdt_override, in fdt_load_override()
|
| D | efidev.c | 127 BS->FreePages(addr, EFI_SIZE_TO_PAGES(size)); in efid_io()
|
| /openbsd/src/sys/arch/arm64/stand/efiboot/ |
| D | efipxe.c | 203 BS->FreePages((paddr_t)tftpfile->inbuf, in mtftp_close()
335 BS->FreePages(txbuf, EFI_SIZE_TO_PAGES(RECV_SIZE)); in tftpopen()
352 BS->FreePages(txbuf, EFI_SIZE_TO_PAGES(RECV_SIZE)); in tftpclose()
|
| D | efiboot.c | 1200 BS->FreePages((uint64_t)fdt_override, in fdt_load_override()
1232 BS->FreePages(addr, EFI_SIZE_TO_PAGES(dt_size)); in fdt_load_override()
1243 BS->FreePages(addr, EFI_SIZE_TO_PAGES(dt_size)); in fdt_load_override()
1248 BS->FreePages((uint64_t)fdt_override, in fdt_load_override()
|
| D | efidev.c | 127 BS->FreePages(addr, EFI_SIZE_TO_PAGES(size)); in efid_io()
|
| /openbsd/src/sys/arch/amd64/stand/efiboot/ |
| D | efipxe.c | 176 BS->FreePages((paddr_t)tftpfile->inbuf, in tftp_close()
|
| D | efidev.c | 137 BS->FreePages(addr, EFI_SIZE_TO_PAGES(size)); in efid_io()
|
| /openbsd/src/sys/stand/efi/include/ |
| D | efiapi.h | 741 EFI_FREE_PAGES FreePages; member
|