| 545 | } |
| 546 | |
| 547 | static void floor_alloc_host_device_printf_buffer() { |
| 548 | if (!floor_host_device_printf_buffer) { |
| 549 | // alloc |
| 550 | floor_host_device_printf_buffer = make_aligned_ptr<uint8_t>(printf_buffer_size); |
| 551 | // init |
| 552 | auto buffer_ptr = floor_host_device_printf_buffer.get_as<uint32_t>(); |
| 553 | *buffer_ptr = printf_buffer_header_size; |
| 554 | *(buffer_ptr + 1) = printf_buffer_size; |
| 555 | } |
| 556 | } |
| 557 | |
| 558 | static void floor_alloc_host_stack_memory() { |
| 559 | if (!floor_stack_memory_data) { |