XSDT_GET_NUM_ENTRIES  104 drivers/sfi/sfi_acpi.c 	tbl_cnt = XSDT_GET_NUM_ENTRIES(xsdt_va, u64);
XSDT_GET_NUM_ENTRIES  132 drivers/sfi/sfi_acpi.c 	tbl_cnt = XSDT_GET_NUM_ENTRIES(xsdt_va, u64);
XSDT_GET_NUM_ENTRIES  206 drivers/sfi/sfi_acpi.c 	tbl_cnt = XSDT_GET_NUM_ENTRIES(xsdt_va, u64);