arch/intel64: fix nxstyle issues in intel64_hpet.c

fix nxstyle issues in intel64_hpet.c

Assisted-by: Claude Code
Signed-off-by: raiden00pl <raiden00@railab.me>
This commit is contained in:
raiden00pl 2026-09-08 09:28:38 +02:00 committed by Xiang Xiao
parent dfc8f82b0b
commit ba083f5403

View file

@ -223,6 +223,7 @@ static void intel64_hpet_cmpset(struct intel64_tim_dev_s *dev, uint8_t timer,
uint64_t cmp)
{
struct intel64_hpet_s *hpet = (struct intel64_hpet_s *)dev;
DEBUGASSERT(timer < hpet->timers);
intel64_hpet_putreg(hpet, HPET_TCOMP_OFFSET(timer), cmp);
}
@ -239,6 +240,7 @@ static uint64_t intel64_hpet_cmpget(struct intel64_tim_dev_s *dev,
uint8_t timer)
{
struct intel64_hpet_s *hpet = (struct intel64_hpet_s *)dev;
DEBUGASSERT(timer < hpet->timers);
return intel64_hpet_getreg(hpet, HPET_TCOMP_OFFSET(timer));
}
@ -255,6 +257,7 @@ static uint64_t intel64_hpet_intget(struct intel64_tim_dev_s *dev,
uint8_t timer)
{
struct intel64_hpet_s *hpet = (struct intel64_hpet_s *)dev;
return (intel64_hpet_getreg(hpet, HPET_GISR_OFFSET) &
HPET_GISR_TINT(timer));
}
@ -271,6 +274,7 @@ static void intel64_hpet_intack(struct intel64_tim_dev_s *dev,
uint8_t timer)
{
struct intel64_hpet_s *hpet = (struct intel64_hpet_s *)dev;
intel64_hpet_putreg(hpet, HPET_GISR_OFFSET, HPET_GISR_TINT(timer));
}
@ -285,6 +289,7 @@ static void intel64_hpet_intack(struct intel64_tim_dev_s *dev,
static uint64_t intel64_hpet_cntget(struct intel64_tim_dev_s *dev)
{
struct intel64_hpet_s *hpet = (struct intel64_hpet_s *)dev;
return intel64_hpet_getreg(hpet, HPET_MCNTR_OFFSET);
}
@ -300,6 +305,7 @@ static void intel64_hpet_cntset(struct intel64_tim_dev_s *dev,
uint64_t cntr)
{
struct intel64_hpet_s *hpet = (struct intel64_hpet_s *)dev;
return intel64_hpet_putreg(hpet, HPET_MCNTR_OFFSET, cntr);
}
@ -314,6 +320,7 @@ static void intel64_hpet_cntset(struct intel64_tim_dev_s *dev,
static uint32_t intel64_hpet_perget(struct intel64_tim_dev_s *dev)
{
struct intel64_hpet_s *hpet = (struct intel64_hpet_s *)dev;
return hpet->clk_per_fs;
}