OBJECT_TYPE_MASK
OBJECT_TYPE_MASK) >> OBJECT_TYPE_SHIFT;
uint32_t bios_object_type = (bios_object_id & OBJECT_TYPE_MASK)