intel_allocate_overlay
overlay_token intel_allocate_overlay(void);
return (void*)intel_allocate_overlay;