/* Return the current task's task port. */
extern mach_port_t __mach_task_self (void);
+extern mach_port_t mach_task_self (void);
/* This cache is initialized at startup. */
extern mach_port_t __mach_task_self_;
/* Kernel page size. */
extern vm_size_t __vm_page_size;
extern vm_size_t vm_page_size;
+#define vm_page_size __vm_page_size /* XXX ? */
/* Round the address X up to a page boundary. */
#define round_page(x) \