FreeBSD kernel /amd64 XEN device code
Data Fields
xentimer_pcpu_data Struct Reference

Data Fields

uint64_t timer
 
uint64_t last_processed
 
void * irq_handle
 

Detailed Description

Definition at line 89 of file timer.c.

Field Documentation

◆ irq_handle

void* xentimer_pcpu_data::irq_handle

Definition at line 92 of file timer.c.

Referenced by xentimer_attach().

◆ last_processed

uint64_t xentimer_pcpu_data::last_processed

Definition at line 91 of file timer.c.

Referenced by xentimer_intr().

◆ timer

uint64_t xentimer_pcpu_data::timer

Definition at line 90 of file timer.c.

Referenced by xentimer_et_start(), xentimer_et_stop(), and xentimer_intr().

The documentation for this struct was generated from the following file: