| 551 | } |
| 552 | |
| 553 | static void floor_alloc_host_device_printf_buffer() { |
| 554 | if (!floor_host_device_printf_buffer) { |
| 555 | // alloc |
| 556 | floor_host_device_printf_buffer = make_aligned_ptr<uint8_t>(printf_buffer_size); |
| 557 | // init |
| 558 | auto buffer_ptr = floor_host_device_printf_buffer.get_as<uint32_t>(); |
| 559 | *buffer_ptr = printf_buffer_header_size; |
| 560 | *(buffer_ptr + 1) = printf_buffer_size; |
| 561 | } |
| 562 | } |
| 563 | |
| 564 | static void floor_alloc_host_stack_memory() { |
| 565 | if (!floor_stack_memory_data) { |