+extern void kfree(void *data,
+ vm_size_t size);
+
+#define kfree(data, size) \
+_Pragma("clang diagnostic push") \
+_Pragma("clang diagnostic ignored \"-Wshadow\"") \
+ do { \
+ _Static_assert(sizeof (data) == sizeof (void *) || sizeof (data) == sizeof (mach_vm_address_t), "data is not a pointer"); \
+ void *__tmp_addr = (void *) data; \
+ vm_size_t __tmp_size = size; \
+ data = (__typeof__(data)) NULL; \
+ (kfree)(__tmp_addr, __tmp_size); \
+ } while (0) \
+_Pragma("clang diagnostic pop")
+
+#define kfree_addr(addr) \
+_Pragma("clang diagnostic push") \
+_Pragma("clang diagnostic ignored \"-Wshadow\"") \
+ do { \
+ _Static_assert(sizeof (addr) == sizeof (void *) || sizeof (addr) == sizeof (mach_vm_address_t), "addr is not a pointer"); \
+ void *__tmp_addr = (void *) addr; \
+ addr = (__typeof__(addr)) NULL; \
+ (kfree_addr)(__tmp_addr); \
+ } while (0) \
+_Pragma("clang diagnostic pop")