platform_kernel_address_to_bootloader_address
extern status_t platform_kernel_address_to_bootloader_address(addr_t address, void **_result);
if (platform_kernel_address_to_bootloader_address(address, &result) != B_OK) {
if (platform_kernel_address_to_bootloader_address(address, &result) != B_OK) {
platform_kernel_address_to_bootloader_address(
if (platform_kernel_address_to_bootloader_address(
extern status_t platform_kernel_address_to_bootloader_address(addr_t address,