Function alloc_mk_args

loader/src/alloc_mk_args.c:42–52

* <!-- description --> * @brief Allocates a chunk of memory for the arguments that will be * passed to the microkernel's _start function * * <!-- inputs/outputs --> * @param pmut_args the mk_args_t to store the mk _start args * @return LOADER_SUCCESS on success, LOADER_FAILURE on failure. */

 *   @return LOADER_SUCCESS on success, LOADER_FAILURE on failure.
 */
NODISCARD int64_t
alloc_mk_args(struct mk_args_t **const pmut_args) NOEXCEPT
{
    *pmut_args = (struct mk_args_t *)platform_alloc(HYPERVISOR_PAGE_SIZE);
    if (NULLPTR == *pmut_args) {
        bferror("platform_alloc failed");
        return LOADER_FAILURE;
    }

    return LOADER_SUCCESS;
}