1150861Scognet/*- 2150861Scognet * Copyright (c) 2005 Olivier Houchard. All rights reserved. 3150861Scognet * 4150861Scognet * Redistribution and use in source and binary forms, with or without 5150861Scognet * modification, are permitted provided that the following conditions 6150861Scognet * are met: 7150861Scognet * 1. Redistributions of source code must retain the above copyright 8150861Scognet * notice, this list of conditions and the following disclaimer. 9150861Scognet * 2. Redistributions in binary form must reproduce the above copyright 10150861Scognet * notice, this list of conditions and the following disclaimer in the 11150861Scognet * documentation and/or other materials provided with the distribution. 12150861Scognet * 13150861Scognet * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR 14150861Scognet * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES 15150861Scognet * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 16150861Scognet * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, 17150861Scognet * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT 18150861Scognet * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 19150861Scognet * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 20150861Scognet * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 21150861Scognet * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF 22150861Scognet * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 23150861Scognet */ 24150861Scognet 25150861Scognet#include "opt_kernname.h" 26150861Scognet 27150861Scognet#include <machine/asm.h> 28150861Scognet__FBSDID("$FreeBSD$") 29159557ScognetENTRY(do_call) 30159557Scognet mov r6, r0 31159557Scognet mov r0, r1 32159557Scognet ldr r1, =0xfff00000 33159557Scognet and r1, pc, r1 34159557Scognet mov sp, r3 35159557Scognet mov r3, #1 36159557Scognet mov pc, r6 37150861Scognet.section ".real_kernel","aw" 38150861Scognet.globl kernel_start; 39150861Scognetkernel_start: 40150861Scognet.incbin KERNNAME 41150861Scognet.globl kernel_end; 42150861Scognetkernel_end: 43