#include <linux/types.h>
#include "hacc_tee.h"


int masp_hal_get_uuid(unsigned int *uuid)
{
	uuid[0] = get_devinfo_with_index(12);
	uuid[1] = get_devinfo_with_index(13);
	uuid[2] = get_devinfo_with_index(12);
	uuid[3] = get_devinfo_with_index(13);

	return 0;
}

int masp_hal_sbc_enabled(void)
{
	return (get_devinfo_with_index(6) & 0x00000002) ? 1 : 0;
}