Symbol: get_property_int
drivers/firmware/efi/stmm/tee_stmm_efi.c
330
ret = get_property_int(name, name_size, vendor, &var_property);
drivers/firmware/efi/stmm/tee_stmm_efi.c
441
ret = get_property_int(name, name_size, vendor, &var_property);