Symbol: hcd_buffer_alloc_pages