It's two big and used by two callers. Calls should be cheap enough anyways.
Signed-off-by: Andi Kleen <ak@suse.de>