/*
 * Copyright (C) 2015-2017 Alibaba Group Holding Limited
 */

#ifndef K_MM_REGION_H
#define K_MM_REGION_H

typedef struct {
    uint8_t *start;
    size_t   len;
} k_mm_region_t;

#endif /* K_MM_REGION_H */

