嵌入式C实现打印地址的值的函数

以下是一个简单的嵌入式C函数，用于打印给定地址的值：

void print_address_value(void* address)
{
    printf("Address: %p, Value: %d\n", address, *((int*)address));
}

该函数接受一个指向地址的指针，将其转换为int类型并打印地址和其对应的值。请注意，此函数假定地址指向的是int类型变量。如果需要打印其他类型的变量，请相应地更改指针类型和格式说明符。