ACPI_SIG_RHCT
status = acpi_get_table(ACPI_SIG_RHCT, 0, &rhct);
status = acpi_get_table(ACPI_SIG_RHCT, 0, (struct acpi_table_header **)&rhct);
status = acpi_get_table(ACPI_SIG_RHCT, 0, &rhct);
status = acpi_get_table(ACPI_SIG_RHCT, 0, &rhct);
TIMER_ACPI_DECLARE(aclint_mtimer, ACPI_SIG_RHCT, riscv_timer_acpi_init);