#include <ppc/chud/chud_xnu.h>
#include <ppc/machine_routines.h>
__private_extern__
uint64_t chudxnu_avail_memory_size(void)
{
#include <ppc/chud/chud_xnu.h>
#include <ppc/machine_routines.h>
__private_extern__
uint64_t chudxnu_avail_memory_size(void)
{