	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_vhpet_mmio_write               ## -- Begin function vhpet_mmio_write
	.p2align	4, 0x90
_vhpet_mmio_write:                      ## @vhpet_mmio_write
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	pushq	%r15
	pushq	%r14
	pushq	%r13
	pushq	%r12
	pushq	%rbx
	subq	$24, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movl	%r8d, %ebx
	movl	%ecx, %r14d
	movl	%edx, %r12d
	callq	_vm_hpet
	movq	%rax, %r13
	movq	_VHPET_BASE@GOTPCREL(%rip), %rax
	subl	(%rax), %r12d
	movq	%r13, %rdi
	callq	_VHPET_LOCK
	cmpl	$4, %ebx
	je	LBB0_3
## %bb.1:
	cmpl	$8, %ebx
	jne	LBB0_2
LBB0_3:
	leal	-1(%rbx), %eax
	testl	%eax, %r12d
	je	LBB0_4
LBB0_2:
	movl	24(%r13), %edi
	leaq	L_.str(%rip), %rsi
	movl	%r12d, %edx
	movl	%ebx, %ecx
	callq	_VM_CTR2
LBB0_41:
	movq	%r13, %rdi
	callq	_VHPET_UNLOCK
	xorl	%eax, %eax
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_4:
	movq	_HPET_CONFIG@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	cmpl	%eax, %r12d
	je	LBB0_6
## %bb.5:
	addl	$4, %eax
	cmpl	%eax, %r12d
	je	LBB0_6
## %bb.10:
	movq	_HPET_ISR@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	cmpl	%eax, %r12d
	je	LBB0_12
## %bb.11:
	addl	$4, %eax
	cmpl	%eax, %r12d
	je	LBB0_12
## %bb.17:
	movq	_HPET_MAIN_COUNTER@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	cmpl	%eax, %r12d
	je	LBB0_24
## %bb.18:
	addl	$4, %eax
	cmpl	%eax, %r12d
	je	LBB0_24
## %bb.19:
	movq	_VHPET_NUM_TIMERS@GOTPCREL(%rip), %rax
	cmpl	$0, (%rax)
	jle	LBB0_41
## %bb.20:
	xorl	%r15d, %r15d
	movl	$12, %ebx
LBB0_21:                                ## =>This Inner Loop Header: Depth=1
	movl	%r15d, %edi
	callq	_HPET_TIMER_CAP_CNF
	cmpl	%eax, %r12d
	je	LBB0_23
## %bb.22:                              ##   in Loop: Header=BB0_21 Depth=1
	movl	%r15d, %edi
	callq	_HPET_TIMER_CAP_CNF
	addl	$4, %eax
	cmpl	%eax, %r12d
	je	LBB0_23
## %bb.26:                              ##   in Loop: Header=BB0_21 Depth=1
	movl	%r15d, %edi
	callq	_HPET_TIMER_COMPARATOR
	cmpl	%eax, %r12d
	je	LBB0_28
## %bb.27:                              ##   in Loop: Header=BB0_21 Depth=1
	movl	%r15d, %edi
	callq	_HPET_TIMER_COMPARATOR
	addl	$4, %eax
	cmpl	%eax, %r12d
	je	LBB0_28
## %bb.37:                              ##   in Loop: Header=BB0_21 Depth=1
	movl	%r15d, %edi
	callq	_HPET_TIMER_FSB_VAL
	cmpl	%eax, %r12d
	je	LBB0_39
## %bb.38:                              ##   in Loop: Header=BB0_21 Depth=1
	movl	%r15d, %edi
	callq	_HPET_TIMER_FSB_ADDR
	cmpl	%eax, %r12d
	je	LBB0_39
## %bb.40:                              ##   in Loop: Header=BB0_21 Depth=1
	incl	%r15d
	addq	$16, %rbx
	movq	_VHPET_NUM_TIMERS@GOTPCREL(%rip), %rax
	cmpl	(%rax), %r15d
	jl	LBB0_21
	jmp	LBB0_41
LBB0_6:
	movq	%r13, %rdi
	callq	_vhpet_counter_enabled
	testq	%rax, %rax
	leaq	-48(%rbp), %rsi
	cmoveq	%rax, %rsi
	movq	%r13, %rdi
	callq	_vhpet_counter
	movl	%eax, %r15d
	movl	(%r13), %ebx
	movq	%r13, %rdi
	movl	%r14d, %esi
	movl	$-1, %edx
	callq	_update_register
	movq	_HPET_CNF_LEG_RT@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	notl	%eax
	andl	(%r13), %eax
	movl	%eax, (%r13)
	xorl	%ebx, %eax
	movq	_HPET_CNF_ENABLE@GOTPCREL(%rip), %rcx
	testl	%eax, (%rcx)
	je	LBB0_41
## %bb.7:
	movq	%r13, %rdi
	callq	_vhpet_counter_enabled
	testq	%rax, %rax
	je	LBB0_9
## %bb.8:
	movq	%r13, %rdi
	callq	_vhpet_start_counting
	movl	24(%r13), %edi
	leaq	L_.str.1(%rip), %rsi
	callq	_VM_CTR0
	jmp	LBB0_41
LBB0_12:
	movq	_VHPET_NUM_TIMERS@GOTPCREL(%rip), %r12
	movl	(%r12), %eax
	testl	%eax, %eax
	jle	LBB0_41
## %bb.13:
	andl	4(%r13), %r14d
	xorl	%ebx, %ebx
	leaq	L_.str.3(%rip), %r15
	jmp	LBB0_14
	.p2align	4, 0x90
LBB0_16:                                ##   in Loop: Header=BB0_14 Depth=1
	incl	%ebx
	cmpl	%eax, %ebx
	jge	LBB0_41
LBB0_14:                                ## =>This Inner Loop Header: Depth=1
	btl	%ebx, %r14d
	jae	LBB0_16
## %bb.15:                              ##   in Loop: Header=BB0_14 Depth=1
	movl	24(%r13), %edi
	movq	%r15, %rsi
	movl	%ebx, %edx
	callq	_VM_CTR1
	movq	%r13, %rdi
	movl	%ebx, %esi
	callq	_vhpet_timer_clear_isr
	movl	(%r12), %eax
	jmp	LBB0_16
LBB0_24:
	movq	%r13, %rdi
	xorl	%esi, %esi
	callq	_vhpet_counter
	movl	%eax, -44(%rbp)
	leaq	-44(%rbp), %rdi
	movl	%r14d, %esi
	movl	$-1, %edx
	callq	_update_register
	movl	-44(%rbp), %eax
	movl	%eax, 8(%r13)
	movq	%r13, %rdi
	callq	_vhpet_counter_enabled
	testq	%rax, %rax
	je	LBB0_41
## %bb.25:
	movq	%r13, %rdi
	callq	_vhpet_start_counting
	jmp	LBB0_41
LBB0_9:
	movl	-48(%rbp), %edx
	movq	%r13, %rdi
	movl	%r15d, %esi
	callq	_vhpet_stop_counting
	movl	24(%r13), %edi
	leaq	L_.str.2(%rip), %rsi
	callq	_VM_CTR0
	jmp	LBB0_41
LBB0_23:
	movq	%r13, %rdi
	movl	%r15d, %esi
	movl	%r14d, %edx
	movl	$-1, %ecx
	callq	_vhpet_timer_update_config
	jmp	LBB0_41
LBB0_28:
	movq	16(%r13), %rax
	movl	-12(%rax,%rbx), %r12d
	movl	-8(%rax,%rbx), %eax
	movl	%eax, -52(%rbp)                 ## 4-byte Spill
	movq	%r13, %rdi
	movl	%r15d, %esi
	callq	_vhpet_periodic_timer
	movq	16(%r13), %rcx
	movl	-8(%rcx,%rbx), %ecx
	testq	%rax, %rax
	je	LBB0_32
## %bb.29:
	movl	%ecx, -44(%rbp)
	leaq	-44(%rbp), %rdi
	movl	%r14d, %esi
	movl	$-1, %edx
	callq	_update_register
	movl	-44(%rbp), %ecx
	movq	16(%r13), %rax
	movl	%ecx, -8(%rax,%rbx)
	movl	-4(%rax,%rbx), %ecx
	movq	_HPET_TCNF_VAL_SET@GOTPCREL(%rip), %rdx
	testl	%ecx, (%rdx)
	je	LBB0_30
## %bb.31:
	movl	-44(%rbp), %edx
	movl	%edx, -12(%rax,%rbx)
	jmp	LBB0_33
LBB0_39:
	addq	16(%r13), %rbx
	movq	%rbx, %rdi
	movl	%r14d, %esi
	movl	$-1, %edx
	callq	_update_register
	jmp	LBB0_41
LBB0_32:
	movslq	%ecx, %rsi
	xorl	%edi, %edi
	testl	%ecx, %ecx
	sete	%dil
	callq	_KASSERT
	movq	16(%r13), %rax
	movl	-12(%rax,%rbx), %eax
	movl	%eax, -44(%rbp)
	leaq	-44(%rbp), %rdi
	movl	%r14d, %esi
	movl	$-1, %edx
	callq	_update_register
	movl	-44(%rbp), %edx
	movq	16(%r13), %rax
	movl	%edx, -12(%rax,%rbx)
	movl	-4(%rax,%rbx), %ecx
	jmp	LBB0_33
LBB0_30:
	movl	-12(%rax,%rbx), %edx
LBB0_33:
	movq	_HPET_TCNF_VAL_SET@GOTPCREL(%rip), %rsi
	movl	(%rsi), %esi
	notl	%esi
	andl	%ecx, %esi
	movl	%esi, -4(%rax,%rbx)
	cmpl	%r12d, %edx
	jne	LBB0_35
## %bb.34:
	movl	-52(%rbp), %ecx                 ## 4-byte Reload
	cmpl	%ecx, -8(%rax,%rbx)
	je	LBB0_41
LBB0_35:
	movq	%r13, %rdi
	callq	_vhpet_counter_enabled
	testq	%rax, %rax
	je	LBB0_41
## %bb.36:
	leaq	-48(%rbp), %rsi
	movq	%r13, %rdi
	callq	_vhpet_counter
	movl	-48(%rbp), %ecx
	movq	%r13, %rdi
	movl	%r15d, %esi
	movl	%eax, %edx
	callq	_vhpet_start_timer
	jmp	LBB0_41
	.cfi_endproc
                                        ## -- End function
	.comm	_VHPET_BASE,4,2                 ## @VHPET_BASE
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"hpet invalid mmio write: offset 0x%08x, size %d"

	.comm	_HPET_CONFIG,4,2                ## @HPET_CONFIG
	.comm	_HPET_CNF_LEG_RT,4,2            ## @HPET_CNF_LEG_RT
	.comm	_HPET_CNF_ENABLE,4,2            ## @HPET_CNF_ENABLE
L_.str.1:                               ## @.str.1
	.asciz	"hpet enabled"

L_.str.2:                               ## @.str.2
	.asciz	"hpet disabled"

	.comm	_HPET_ISR,4,2                   ## @HPET_ISR
	.comm	_VHPET_NUM_TIMERS,4,2           ## @VHPET_NUM_TIMERS
L_.str.3:                               ## @.str.3
	.asciz	"hpet t%d isr cleared"

	.comm	_HPET_MAIN_COUNTER,4,2          ## @HPET_MAIN_COUNTER
	.comm	_HPET_TCNF_VAL_SET,4,2          ## @HPET_TCNF_VAL_SET
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_vhpet_mmio_write               ; -- Begin function vhpet_mmio_write
	.p2align	2
_vhpet_mmio_write:                      ; @vhpet_mmio_write
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #96
	.cfi_def_cfa_offset 96
	stp	x26, x25, [sp, #16]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #32]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #48]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #64]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #80]             ; 16-byte Folded Spill
	add	x29, sp, #80
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	.cfi_offset w21, -40
	.cfi_offset w22, -48
	.cfi_offset w23, -56
	.cfi_offset w24, -64
	.cfi_offset w25, -72
	.cfi_offset w26, -80
	mov	x21, x4
	mov	x20, x3
	mov	x22, x2
	bl	_vm_hpet
	mov	x19, x0
Lloh0:
	adrp	x8, _VHPET_BASE@GOTPAGE
Lloh1:
	ldr	x8, [x8, _VHPET_BASE@GOTPAGEOFF]
Lloh2:
	ldr	w8, [x8]
	sub	w22, w22, w8
	bl	_VHPET_LOCK
	cmp	w21, #4
	b.eq	LBB0_2
; %bb.1:
	cmp	w21, #8
	b.ne	LBB0_3
LBB0_2:
	sub	w8, w21, #1
	tst	w22, w8
	b.eq	LBB0_5
LBB0_3:
	ldr	w0, [x19, #24]
Lloh3:
	adrp	x1, l_.str@PAGE
Lloh4:
	add	x1, x1, l_.str@PAGEOFF
	mov	x2, x22
	mov	x3, x21
	bl	_VM_CTR2
LBB0_4:
	mov	x0, x19
	bl	_VHPET_UNLOCK
	mov	w0, #0
	ldp	x29, x30, [sp, #80]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #64]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #48]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #32]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #96
	ret
LBB0_5:
Lloh5:
	adrp	x8, _HPET_CONFIG@GOTPAGE
Lloh6:
	ldr	x8, [x8, _HPET_CONFIG@GOTPAGEOFF]
Lloh7:
	ldr	w8, [x8]
	add	w9, w8, #4
	cmp	w22, w8
	ccmp	w22, w9, #4, ne
	b.ne	LBB0_9
; %bb.6:
	mov	x0, x19
	bl	_vhpet_counter_enabled
	add	x8, sp, #8
	cmp	x0, #0
	csel	x1, xzr, x8, eq
	mov	x0, x19
	bl	_vhpet_counter
	mov	x21, x0
	ldr	w22, [x19]
	mov	x0, x19
	mov	x1, x20
	mov	w2, #-1
	bl	_update_register
Lloh8:
	adrp	x8, _HPET_CNF_LEG_RT@GOTPAGE
Lloh9:
	ldr	x8, [x8, _HPET_CNF_LEG_RT@GOTPAGEOFF]
Lloh10:
	ldr	w8, [x8]
	ldr	w9, [x19]
	bic	w8, w9, w8
	str	w8, [x19]
	eor	w8, w8, w22
Lloh11:
	adrp	x9, _HPET_CNF_ENABLE@GOTPAGE
Lloh12:
	ldr	x9, [x9, _HPET_CNF_ENABLE@GOTPAGEOFF]
Lloh13:
	ldr	w9, [x9]
	tst	w8, w9
	b.eq	LBB0_4
; %bb.7:
	mov	x0, x19
	bl	_vhpet_counter_enabled
	cbz	x0, LBB0_27
; %bb.8:
	mov	x0, x19
	bl	_vhpet_start_counting
	ldr	w0, [x19, #24]
Lloh14:
	adrp	x1, l_.str.1@PAGE
Lloh15:
	add	x1, x1, l_.str.1@PAGEOFF
	bl	_VM_CTR0
	b	LBB0_4
LBB0_9:
Lloh16:
	adrp	x8, _HPET_ISR@GOTPAGE
Lloh17:
	ldr	x8, [x8, _HPET_ISR@GOTPAGEOFF]
Lloh18:
	ldr	w8, [x8]
	add	w9, w8, #4
	cmp	w22, w8
	ccmp	w22, w9, #4, ne
	b.ne	LBB0_15
; %bb.10:
Lloh19:
	adrp	x22, _VHPET_NUM_TIMERS@GOTPAGE
Lloh20:
	ldr	x22, [x22, _VHPET_NUM_TIMERS@GOTPAGEOFF]
	ldr	w8, [x22]
	cmp	w8, #1
	b.lt	LBB0_4
; %bb.11:
	mov	w21, #0
	ldr	w9, [x19, #4]
	and	w23, w9, w20
Lloh21:
	adrp	x20, l_.str.3@PAGE
Lloh22:
	add	x20, x20, l_.str.3@PAGEOFF
	b	LBB0_13
LBB0_12:                                ;   in Loop: Header=BB0_13 Depth=1
	add	w21, w21, #1
	cmp	w21, w8
	b.ge	LBB0_4
LBB0_13:                                ; =>This Inner Loop Header: Depth=1
	lsr	w9, w23, w21
	tbz	w9, #0, LBB0_12
; %bb.14:                               ;   in Loop: Header=BB0_13 Depth=1
	ldr	w0, [x19, #24]
	mov	x1, x20
	mov	x2, x21
	bl	_VM_CTR1
	mov	x0, x19
	mov	x1, x21
	bl	_vhpet_timer_clear_isr
	ldr	w8, [x22]
	b	LBB0_12
LBB0_15:
Lloh23:
	adrp	x8, _HPET_MAIN_COUNTER@GOTPAGE
Lloh24:
	ldr	x8, [x8, _HPET_MAIN_COUNTER@GOTPAGEOFF]
Lloh25:
	ldr	w8, [x8]
	add	w9, w8, #4
	cmp	w22, w8
	ccmp	w22, w9, #4, ne
	b.ne	LBB0_18
; %bb.16:
	mov	x0, x19
	mov	x1, #0
	bl	_vhpet_counter
	str	w0, [sp, #12]
	add	x0, sp, #12
	mov	x1, x20
	mov	w2, #-1
	bl	_update_register
	ldr	w8, [sp, #12]
	str	w8, [x19, #8]
	mov	x0, x19
	bl	_vhpet_counter_enabled
	cbz	x0, LBB0_4
; %bb.17:
	mov	x0, x19
	bl	_vhpet_start_counting
	b	LBB0_4
LBB0_18:
Lloh26:
	adrp	x24, _VHPET_NUM_TIMERS@GOTPAGE
Lloh27:
	ldr	x24, [x24, _VHPET_NUM_TIMERS@GOTPAGEOFF]
	ldr	w8, [x24]
	cmp	w8, #1
	b.lt	LBB0_4
; %bb.19:
	mov	w21, #0
	mov	w23, #12
LBB0_20:                                ; =>This Inner Loop Header: Depth=1
	mov	x0, x21
	bl	_HPET_TIMER_CAP_CNF
	cmp	w22, w0
	b.eq	LBB0_28
; %bb.21:                               ;   in Loop: Header=BB0_20 Depth=1
	mov	x0, x21
	bl	_HPET_TIMER_CAP_CNF
	add	w8, w0, #4
	cmp	w22, w8
	b.eq	LBB0_28
; %bb.22:                               ;   in Loop: Header=BB0_20 Depth=1
	mov	x0, x21
	bl	_HPET_TIMER_COMPARATOR
	cmp	w22, w0
	b.eq	LBB0_29
; %bb.23:                               ;   in Loop: Header=BB0_20 Depth=1
	mov	x0, x21
	bl	_HPET_TIMER_COMPARATOR
	add	w8, w0, #4
	cmp	w22, w8
	b.eq	LBB0_29
; %bb.24:                               ;   in Loop: Header=BB0_20 Depth=1
	mov	x0, x21
	bl	_HPET_TIMER_FSB_VAL
	cmp	w22, w0
	b.eq	LBB0_32
; %bb.25:                               ;   in Loop: Header=BB0_20 Depth=1
	mov	x0, x21
	bl	_HPET_TIMER_FSB_ADDR
	cmp	w22, w0
	b.eq	LBB0_32
; %bb.26:                               ;   in Loop: Header=BB0_20 Depth=1
	add	w21, w21, #1
	ldr	w8, [x24]
	add	x23, x23, #16
	cmp	w21, w8
	b.lt	LBB0_20
	b	LBB0_4
LBB0_27:
	ldr	w2, [sp, #8]
	mov	x0, x19
	mov	x1, x21
	bl	_vhpet_stop_counting
	ldr	w0, [x19, #24]
Lloh28:
	adrp	x1, l_.str.2@PAGE
Lloh29:
	add	x1, x1, l_.str.2@PAGEOFF
	bl	_VM_CTR0
	b	LBB0_4
LBB0_28:
	mov	x0, x19
	mov	x1, x21
	mov	x2, x20
	mov	w3, #-1
	bl	_vhpet_timer_update_config
	b	LBB0_4
LBB0_29:
	ldr	x8, [x19, #16]
	add	x8, x8, x23
	ldp	w24, w22, [x8, #-12]
	mov	x0, x19
	mov	x1, x21
	bl	_vhpet_periodic_timer
	ldr	x8, [x19, #16]
	add	x8, x8, x23
	ldur	w8, [x8, #-8]
Lloh30:
	adrp	x25, _HPET_TCNF_VAL_SET@GOTPAGE
Lloh31:
	ldr	x25, [x25, _HPET_TCNF_VAL_SET@GOTPAGEOFF]
	cbz	x0, LBB0_33
; %bb.30:
	str	w8, [sp, #12]
	add	x0, sp, #12
	mov	x1, x20
	mov	w2, #-1
	bl	_update_register
	ldr	w9, [sp, #12]
	ldr	x8, [x19, #16]
	add	x11, x8, x23
	stur	w9, [x11, #-8]
	ldur	w9, [x11, #-4]
	ldr	w10, [x25]
	tst	w10, w9
	b.eq	LBB0_34
; %bb.31:
	ldr	w10, [sp, #12]
	stur	w10, [x11, #-12]
	b	LBB0_35
LBB0_32:
	ldr	x8, [x19, #16]
	add	x0, x8, x23
	mov	x1, x20
	mov	w2, #-1
	bl	_update_register
	b	LBB0_4
LBB0_33:
	sxtw	x1, w8
	cmp	w8, #0
	cset	w0, eq
	bl	_KASSERT
	ldr	x8, [x19, #16]
	add	x8, x8, x23
	ldur	w8, [x8, #-12]
	str	w8, [sp, #12]
	add	x0, sp, #12
	mov	x1, x20
	mov	w2, #-1
	bl	_update_register
	ldr	w10, [sp, #12]
	ldr	x8, [x19, #16]
	add	x9, x8, x23
	stur	w10, [x9, #-12]
	ldur	w9, [x9, #-4]
	b	LBB0_35
LBB0_34:
	ldur	w10, [x11, #-12]
LBB0_35:
	ldr	w11, [x25]
	add	x8, x8, x23
	bic	w9, w9, w11
	stur	w9, [x8, #-4]
	cmp	w10, w24
	b.ne	LBB0_37
; %bb.36:
	ldur	w8, [x8, #-8]
	cmp	w8, w22
	b.eq	LBB0_4
LBB0_37:
	mov	x0, x19
	bl	_vhpet_counter_enabled
	cbz	x0, LBB0_4
; %bb.38:
	add	x1, sp, #8
	mov	x0, x19
	bl	_vhpet_counter
	mov	x2, x0
	ldr	w3, [sp, #8]
	mov	x0, x19
	mov	x1, x21
	bl	_vhpet_start_timer
	b	LBB0_4
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpAdd	Lloh3, Lloh4
	.loh AdrpLdrGotLdr	Lloh5, Lloh6, Lloh7
	.loh AdrpLdrGotLdr	Lloh11, Lloh12, Lloh13
	.loh AdrpLdrGotLdr	Lloh8, Lloh9, Lloh10
	.loh AdrpAdd	Lloh14, Lloh15
	.loh AdrpLdrGotLdr	Lloh16, Lloh17, Lloh18
	.loh AdrpLdrGot	Lloh19, Lloh20
	.loh AdrpAdd	Lloh21, Lloh22
	.loh AdrpLdrGotLdr	Lloh23, Lloh24, Lloh25
	.loh AdrpLdrGot	Lloh26, Lloh27
	.loh AdrpAdd	Lloh28, Lloh29
	.loh AdrpLdrGot	Lloh30, Lloh31
	.cfi_endproc
                                        ; -- End function
	.comm	_VHPET_BASE,4,2                 ; @VHPET_BASE
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"hpet invalid mmio write: offset 0x%08x, size %d"

	.comm	_HPET_CONFIG,4,2                ; @HPET_CONFIG
	.comm	_HPET_CNF_LEG_RT,4,2            ; @HPET_CNF_LEG_RT
	.comm	_HPET_CNF_ENABLE,4,2            ; @HPET_CNF_ENABLE
l_.str.1:                               ; @.str.1
	.asciz	"hpet enabled"

l_.str.2:                               ; @.str.2
	.asciz	"hpet disabled"

	.comm	_HPET_ISR,4,2                   ; @HPET_ISR
	.comm	_VHPET_NUM_TIMERS,4,2           ; @VHPET_NUM_TIMERS
l_.str.3:                               ; @.str.3
	.asciz	"hpet t%d isr cleared"

	.comm	_HPET_MAIN_COUNTER,4,2          ; @HPET_MAIN_COUNTER
	.comm	_HPET_TCNF_VAL_SET,4,2          ; @HPET_TCNF_VAL_SET
.subsections_via_symbols
