Symbol: hp_populate_integer_buffer_data
drivers/platform/x86/hp/hp-bioscfg/bioscfg.c
841
ret = hp_populate_integer_buffer_data(buffer_ptr,
drivers/platform/x86/hp/hp-bioscfg/bioscfg.h
408
int hp_populate_integer_buffer_data(u8 *buffer_ptr, u32 *buffer_size,