#include "mpu.h"

void crane_ds_mpu(void);
void crane_ds_mpu_xip_enable(bool enable);
void crane_ds_mpu_xip_cache_enable(void);
void crane_ds_mpu_xip_cache_disable(void);