// File: /workspace/github_c_makefile_star2_O1/dalnefre[P]kernel_abe/actor.c
// Function: report_configuration
void
report_configuration(CONFIG* cfg)
{
	CONS* p;
	CONS* q;
	char* m;
	CONS* cq = CONFIG_QUEUE(cfg);

	DBUG_ENTER("report_configuration");
	p = NIL;
	DBUG_PRINT("", ("NIL @%p = %s", p, cons_to_str(p)));

	DBUG_PRINT("", ("@%p {head:%p, tail:%p}", cq, car(cq), cdr(cq)));
	p = car(cq);
	assert(consp(p));
	DBUG_PRINT("", ("@%p = %s", p, cons_to_str(p)));
	
	assert(!nilp(p));
	p = car(p);
	DBUG_PRINT("", ("@%p = %s", p, cons_to_str(p)));
	assert(consp(p));
	q = car(p);
	DBUG_PRINT("", ("1st: actor=%p (behavior=%p, state=%p)", q, _THIS(q), _MINE(q)));
	assert(actorp(q));
	assert(funcp(car(MK_CONS(q))));
	assert(consp(cdr(MK_CONS(q))));
	
	m = (char*)cons(NIL, NIL);		/* get base address for dynamic allocations */
	DBUG_PRINT("", ("m=%p", m));
	DBUG_HEXDUMP((m - 256), 512);
	DBUG_RETURN;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x30, %rsp
movq %rdi, %r14
leaq 0x97c0(%rip), %rax      # 0x1ceca
leaq 0x8(%rsp), %rdi
movq %rax, (%rdi)
leaq 0xfc17(%rip), %r12      # 0x23330
movq (%r12), %rax
movq 0x50(%rax), %rax
movl 0x8(%rax), %ecx
movl %ecx, 0x8(%rdi)
movl $0x228, 0xc(%rdi)       # imm = 0x228
leaq 0x8c15(%rip), %rbx      # 0x1c34a
movq %rbx, 0x10(%rdi)
leaq 0xfa68(%rip), %rcx      # 0x231a8
movq %rcx, 0x18(%rdi)
movq %rax, 0x20(%rdi)
callq 0x1b912
leaq 0x101dc(%rip), %r13     # 0x23930
cmpl $0x0, (%r13)
je 0x137a5
movq (%r12), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1b084
testl %eax, %eax
je 0x137a5
movq (%r12), %rax
movq 0x50(%rax), %rax
movl $0x22a, 0xc(%rax)       # imm = 0x22A
leaq 0xfb17(%rip), %r15      # 0x232a0
movq %r15, %rdi
callq 0x13b9c
leaq 0x9747(%rip), %rdi      # 0x1cedf
movq %r15, %rsi
movq %rax, %rdx
xorl %eax, %eax
callq 0x1b983
cmpl $0x0, (%r13)
je 0x137fd
movq (%r12), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1b084
testl %eax, %eax
je 0x137fd
movq (%r12), %rax
movq 0x50(%rax), %rax
movl $0x22c, 0xc(%rax)       # imm = 0x22C
movq %r14, %rdi
callq 0x19ba6
movq %rax, %r15
movq %r14, %rdi
callq 0x19c45
leaq 0x96ff(%rip), %rdi      # 0x1ceec
movq %r14, %rsi
movq %r15, %rdx
movq %rax, %rcx
xorl %eax, %eax
callq 0x1b983
movq %r14, %rdi
callq 0x19ba6
testq %rax, %rax
je 0x13a5f
movq %rax, %r14
andl $0x3, %eax
jne 0x13a5f
cmpl $0x0, (%r13)
je 0x13864
movq (%r12), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1b084
testl %eax, %eax
je 0x13864
movq (%r12), %rax
movq 0x50(%rax), %rax
movl $0x22f, 0xc(%rax)       # imm = 0x22F
movq %r14, %rdi
callq 0x13b9c
leaq 0x968c(%rip), %rdi      # 0x1cee3
movq %r14, %rsi
movq %rax, %rdx
xorl %eax, %eax
callq 0x1b983
cmpq 0xf755(%rip), %r14      # 0x22fc0
je 0x13a7e
movq %r14, %rdi
callq 0x19ba6
movq %rax, %r14
cmpl $0x0, (%r13)
je 0x138c6
movq (%r12), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1b084
testl %eax, %eax
je 0x138c6
movq (%r12), %rax
movq 0x50(%rax), %rax
movl $0x233, 0xc(%rax)       # imm = 0x233
movq %r14, %rdi
callq 0x13b9c
leaq 0x962a(%rip), %rdi      # 0x1cee3
movq %r14, %rsi
movq %rax, %rdx
xorl %eax, %eax
callq 0x1b983
testq %r14, %r14
je 0x13a9d
movl %r14d, %eax
andl $0x3, %eax
jne 0x13a9d
movq %r14, %rdi
callq 0x19ba6
movq %rax, %r14
cmpl $0x0, (%r13)
je 0x1393e
movq (%r12), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1b084
testl %eax, %eax
je 0x1393e
movq (%r12), %rax
movq 0x50(%rax), %rax
movl $0x236, 0xc(%rax)       # imm = 0x236
movq %r14, %rdi
callq 0x11cd8
movq %rax, %r15
movq %r14, %rdi
callq 0x11d11
leaq 0x960b(%rip), %rdi      # 0x1cf39
movq %r14, %rsi
movq %r15, %rdx
movq %rax, %rcx
xorl %eax, %eax
callq 0x1b983
movl %r14d, %eax
andl $0x3, %eax
cmpl $0x1, %eax
jne 0x13abc
andq $-0x4, %r14
movq %r14, %rdi
callq 0x19ba6
cmpq $0x1, %rax
je 0x13a21
movq %r14, %rdi
callq 0x19ba6
notl %eax
testb $0x3, %al
jne 0x13a21
movq %r14, %rdi
callq 0x19c45
testq %rax, %rax
je 0x13a40
movq %r14, %rdi
callq 0x19c45
testb $0x3, %al
jne 0x13a40
leaq 0xf903(%rip), %rdi      # 0x232a0
movq %rdi, %rsi
callq 0x19b84
movq %rax, %r14
cmpl $0x0, (%r13)
je 0x139e7
movq (%r12), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1b084
testl %eax, %eax
je 0x139e7
movq (%r12), %rax
movq 0x50(%rax), %rax
movl $0x23c, 0xc(%rax)       # imm = 0x23C
leaq 0x95ba(%rip), %rdi      # 0x1cf97
movq %r14, %rsi
xorl %eax, %eax
callq 0x1b983
cmpl $0x0, (%r13)
je 0x13a02
addq $-0x100, %r14
movq %r14, %rdi
movl $0x200, %esi            # imm = 0x200
callq 0x1bb37
leaq 0x8(%rsp), %rdi
movl $0x23e, 0xc(%rdi)       # imm = 0x23E
callq 0x1ba97
addq $0x30, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
leaq 0x9541(%rip), %rdi      # 0x1cf69
leaq 0x91a9(%rip), %rsi      # 0x1cbd8
leaq 0x94d6(%rip), %rcx      # 0x1cf0c
movl $0x238, %edx            # imm = 0x238
callq 0x2100
leaq 0x9539(%rip), %rdi      # 0x1cf80
leaq 0x918a(%rip), %rsi      # 0x1cbd8
leaq 0x94b7(%rip), %rcx      # 0x1cf0c
movl $0x239, %edx            # imm = 0x239
callq 0x2100
leaq 0x949d(%rip), %rdi      # 0x1cf03
leaq 0x916b(%rip), %rsi      # 0x1cbd8
leaq 0x9498(%rip), %rcx      # 0x1cf0c
movl $0x22e, %edx            # imm = 0x22E
callq 0x2100
leaq 0x94ab(%rip), %rdi      # 0x1cf30
leaq 0x914c(%rip), %rsi      # 0x1cbd8
leaq 0x9479(%rip), %rcx      # 0x1cf0c
movl $0x231, %edx            # imm = 0x231
callq 0x2100
leaq 0x945f(%rip), %rdi      # 0x1cf03
leaq 0x912d(%rip), %rsi      # 0x1cbd8
leaq 0x945a(%rip), %rcx      # 0x1cf0c
movl $0x234, %edx            # imm = 0x234
callq 0x2100
leaq 0x949c(%rip), %rdi      # 0x1cf5f
leaq 0x910e(%rip), %rsi      # 0x1cbd8
leaq 0x943b(%rip), %rcx      # 0x1cf0c
movl $0x237, %edx            # imm = 0x237
callq 0x2100