+#if CONFIG_WORKQUEUE
+530 AUE_WORKLOOPCTL ALL { int kqueue_workloop_ctl(user_addr_t cmd, uint64_t options, user_addr_t addr, size_t sz) NO_SYSCALL_STUB; }
+#else
+530 AUE_NULL ALL { int enosys(void); }
+#endif // CONFIG_WORKQUEUE
+531 AUE_NULL ALL { uint64_t __mach_bridge_remote_time(uint64_t local_timestamp); }
+#if CONFIG_COALITIONS
+532 AUE_NULL ALL { int coalition_ledger(uint32_t operation, uint64_t *cid, void *buffer, size_t *bufsize) NO_SYSCALL_STUB; }
+#else
+532 AUE_NULL ALL { int enosys(void); }
+#endif // CONFIG_COALITIONS
+533 AUE_NULL ALL { int log_data(unsigned int tag, unsigned int flags, void *buffer, unsigned int size) NO_SYSCALL_STUB; }
+534 AUE_NULL ALL { uint64_t memorystatus_available_memory(void) NO_SYSCALL_STUB; }