This is xnu-12377.1.9. See this file in:
#include <darwintest.h>
#include <darwintest_utils.h>
#define STATIC_IF_TEST
#define MARK_AS_FIXUP_TEXT
#include "../osfmk/kern/static_if_common.c"
T_GLOBAL_META(T_META_RUN_CONCURRENTLY(true), T_META_TAG_VM_PREFERRED);
T_DECL(static_if_boot_arg, "Check the static if boot-arg parser")
{
uint64_t v;
v = static_if_boot_arg_uint64("key=2", "key", 0);
T_EXPECT_EQ(v, 2ull, "parsing key correctly");
v = static_if_boot_arg_uint64("key=2 key=1", "key", 0);
T_EXPECT_EQ(v, 1ull, "parsing overrides");
v = static_if_boot_arg_uint64("-key", "key", 0);
T_EXPECT_EQ(v, 1ull, "parsing -key");
v = static_if_boot_arg_uint64("key", "key", 0);
T_EXPECT_EQ(v, 1ull, "parsing arg-less key");
v = static_if_boot_arg_uint64("key=2 k", "key", 0);
T_EXPECT_EQ(v, 2ull, "parsing ignoring prefixes at the end");
v = static_if_boot_arg_uint64("key=0", "key", 1);
T_EXPECT_EQ(v, 0ull, "parsing key=0 correctly");
/* this should be rejected but PE_parse_boot_argn accepts it */
v = static_if_boot_arg_uint64("key=0b", "key", 1);
T_EXPECT_EQ(v, 0ull, "be bug to bug compatible with PE_parse_boot_argn");
v = static_if_boot_arg_uint64("key=0x", "key", 1);
T_EXPECT_EQ(v, 0ull, "be bug to bug compatible with PE_parse_boot_argn");
v = static_if_boot_arg_uint64("key=0b1010", "key", 1);
T_EXPECT_EQ(v, 10, "parsing binary correctly");
v = static_if_boot_arg_uint64("key=-0b1010", "key", 1);
T_EXPECT_EQ(v, -10, "parsing binary correctly");
v = static_if_boot_arg_uint64("key=012", "key", 1);
T_EXPECT_EQ(v, 10, "parsing fake octal correctly");
v = static_if_boot_arg_uint64("key=-012", "key", 1);
T_EXPECT_EQ(v, -10, "parsing hex correctly");
v = static_if_boot_arg_uint64("key=0xa", "key", 1);
T_EXPECT_EQ(v, 10, "parsing hex correctly");
v = static_if_boot_arg_uint64("key=-0xa", "key", 1);
T_EXPECT_EQ(v, -10, "parsing hex correctly");
v = static_if_boot_arg_uint64("key=0xA", "key", 1);
T_EXPECT_EQ(v, 10, "parsing hex correctly");
v = static_if_boot_arg_uint64("key=-0xA", "key", 1);
T_EXPECT_EQ(v, -10, "parsing hex correctly");
/* invalid values */
v = static_if_boot_arg_uint64("key=09", "key", 1);
T_EXPECT_EQ(v, 1ull, "rejecting 09");
v = static_if_boot_arg_uint64("key=8a9", "key", 1);
T_EXPECT_EQ(v, 1ull, "rejecting 8a9");
v = static_if_boot_arg_uint64("key=a", "key", 1);
T_EXPECT_EQ(v, 1ull, "rejecting a");
}