Cross Reference: /src/sys/arch/evbarm/armadillo/armadillo9

Lines Matching refs:Must
13  * 1. Redistributions of source code must retain the above copyright
15  * 2. Redistributions in binary form must reproduce the above copyright
19  *    must display the following acknowledgement:
47  * 1. Redistributions of source code must retain the above copyright
49  * 2. Redistributions in binary form must reproduce the above copyright
53  *    must display the following acknowledgement:
262 #error Must define KGDB_DEVNAME
267 #error Must define KGDB_DEVADDR
412 	 * IO8 and IO16 space *must* be mapped contiguously with
446  * It should be responsible for setting up everything that must be
559 	 * The kernel page directory must be on a 16K boundary.  The page
560 	 * tables must be on 4K boundaries.  What we do is allocate the
769 	 * We must now set the r13 registers in the different CPU modes to
771 	 * Since the ARM stacks use STMFD etc. we must set r13 to the top end
OpenGrok
