efi_sync_low_kernel_mappings
void efi_sync_low_kernel_mappings(void) {}
void efi_sync_low_kernel_mappings(void)