1 /* 2 * Demotes the current task to a non-platform binary for testing purposes 3 * 4 * NOTE: platform-ness is tracked in many different places, and this API only 5 * affects particular bits in the kernel - double check that it does what you want before using 6 * 7 * Returns: 0 on success, nonzero on failure 8 */ 9 extern int 10 remove_platform_binary(void); 11