vmm: Remove lapic_timer_frequency from the cmd line
[akaros.git] / include
1 kern/include/