But if the Kernel memory manager interface requests a cup of tea from the penguin in the floating point processor...