Function map_mk_stack

loader/src/map_mk_stack.c:47–71

* <!-- description --> * @brief This function maps the microkernel's stack into the microkernel's * root page tables. * * <!-- inputs/outputs --> * @param stack a pointer to a span_t that stores the stack * being mapped * @param virt provide the virtual address that the stack * should be mapped to. * @param pmut_rpt the root page table to map the stack into * @retur

 *   @return LOADER_SUCCESS on success, LOADER_FAILURE on failure.
 */
NODISCARD int64_t
map_mk_stack(
    struct span_t const *const stack,
    uint64_t const virt,
    root_page_table_t *const pmut_rpt) NOEXCEPT
{
    uint64_t mut_i;

    for (mut_i = ((uint64_t)0); mut_i < stack->size; mut_i += HYPERVISOR_PAGE_SIZE) {
        uint64_t const phys = platform_virt_to_phys(stack->addr + mut_i);
        if (((uint64_t)0) == phys) {
            bferror("platform_virt_to_phys failed");
            return LOADER_FAILURE;
        }

        if (map_4k_page_rw((void *)(virt + mut_i), phys, pmut_rpt)) {
            bferror("map_4k_page_rw failed");
            return LOADER_FAILURE;
        }

        bf_touch();
    }

    return LOADER_SUCCESS;
}