Symbol: IO_PGTABLE_CAP_CUSTOM_ALLOCATOR