Symbol: hp_alloc_integer_data
drivers/platform/x86/hp/hp-bioscfg/bioscfg.c
414
return hp_alloc_integer_data();
drivers/platform/x86/hp/hp-bioscfg/bioscfg.h
411
int hp_alloc_integer_data(void);