ps3_mm_vas_destroy  181 arch/powerpc/platforms/ps3/htab.c 	ps3_mm_vas_destroy();
ps3_mm_vas_destroy   26 arch/powerpc/platforms/ps3/platform.h void ps3_mm_vas_destroy(void);