rem: spawn_kernel_thread(Function,"ACPI Worker Thread",priority,Context);
add: spawn_kernel_thread((thread_func)(Function),"ACPI Worker Thread",priority,Context);
context: AcpiOsQueueForExecution (    UINT32                  Priority,    ACPI_OSD_EXEC_CALLBACK  Function,    void                    *Context){	int priority = 10;	switch (Priority) {		case OSD_PRIORITY_GPE:			priority = 20; break;		case OSD_PRIORITY_HIGH:			priority = 15; break;		case OSD_PRIORITY_MED:			priority = 10; break;		case OSD_PRIORITY_LO:			priority = 5; break;	}	#ifndef _KERNEL_MODE		#define spawn_kernel_thread spawn_thread	#endif	spawn_kernel_thread(Function,"ACPI Worker Thread",priority,Context);		/* We're going to cheerfully ignore the fact that ACPI_OSD_EXEC_CALLBACK		   routines don't give canonical return values, as we aren't going to		   check up on them, and the kernel doesn't care */		       return 0;}