Symbol: acpi_ptc_register